net.sourceforge.czt.animation.eval.flatpred

Class FlatEvalSet

java.lang.Object

net.sourceforge.czt.animation.eval.flatpred.FlatPred

net.sourceforge.czt.animation.eval.flatpred.FlatEvalSet

Direct Known Subclasses:

FlatUnion

public abstract class FlatEvalSet
extends FlatPred

Field Summary

Fields inherited from class net.sourceforge.czt.animation.eval.flatpred.FlatPred

args_, evalMode_, freeVars_, INDENT, LOG, printer_, solutionsReturned_

Constructor Summary

Constructors

Constructor and Description
FlatEvalSet()

Method Summary

Methods inherited from class net.sourceforge.czt.animation.eval.flatpred.FlatPred

accept, chooseMode, freeVars, getArgs, getEnvir, getLastArg, getMode, indent, inferBounds, modeAllDefined, modeCollection, modeFunction, modeOneOutput, nextEvaluation, printArg, printBinOp, printLastArg, printName, printQuant, setMode, startEvaluation, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FlatEvalSet

public FlatEvalSet()