public class Dummy extends Operator
Author: Alain Hebert, Ecole Polytechnique de Montreal (2002)
edit, epsObj, fileObj, lcmObj, name, operator
Dummy()
abort, end, execNat, reset, text
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Dummy()