Uses of Class
net.sourceforge.czt.animation.eval.flatpred.FlatPredList

Packages that use FlatPredList

Package	Description
net.sourceforge.czt.animation.eval	CZT ZLive Animator
net.sourceforge.czt.animation.eval.flatpred
net.sourceforge.czt.animation.eval.result

Uses of FlatPredList in net.sourceforge.czt.animation.eval

Fields in net.sourceforge.czt.animation.eval declared as FlatPredList

Modifier and Type	Field and Description
protected FlatPredList	ZLiveResult.code_
protected FlatPredList	ZLive.predlist_ Stores the code used in the most recent evaluation.

Methods in net.sourceforge.czt.animation.eval that return FlatPredList

Modifier and Type	Method and Description
FlatPredList	ZLiveResult.getCode()

Methods in net.sourceforge.czt.animation.eval with parameters of type FlatPredList

Modifier and Type	Method and Description
net.sourceforge.czt.z.ast.ZName	Flatten.flattenExpr(net.sourceforge.czt.z.ast.Expr toFlatten, FlatPredList destination) Flattens the toFlatten expression into a list of FlatPred predicates.
void	Flatten.flattenPred(net.sourceforge.czt.z.ast.Pred toFlatten, FlatPredList destination) Flattens the toFlatten predicate into a list of FlatPred predicates.
void	ZLive.printCode(FlatPredList code, PrintWriter writer) Prints the given list of FlatPreds.
void	ZLiveResult.setCode(FlatPredList code, net.sourceforge.czt.z.ast.ZName resultName) Record the result of compiling the flattened term.

Constructors in net.sourceforge.czt.animation.eval with parameters of type FlatPredList

Constructor and Description
FlattenVisitor(ZLive zlive, FlatPredList destination, DefinitionTable defns)
ZLiveResult(String section, net.sourceforge.czt.base.ast.Term original, Envir env0, net.sourceforge.czt.base.ast.Term unfolded, FlatPredList code, net.sourceforge.czt.z.ast.ZName resultName, Mode mode, net.sourceforge.czt.base.ast.Term result) Convenience constructor that records all information about the evaluated term.

Uses of FlatPredList in net.sourceforge.czt.animation.eval.flatpred

Subclasses of FlatPredList in net.sourceforge.czt.animation.eval.flatpred

Modifier and Type	Class and Description
class	FlatNot

Fields in net.sourceforge.czt.animation.eval.flatpred declared as FlatPredList

Modifier and Type	Field and Description
protected FlatPredList	FlatForall.body_
protected FlatPredList	FlatIfThenElse.left_ The left-hand expr.
protected FlatPredList	FlatIfThenElse.pred_ The predicate that controls the choice.
protected FlatPredList	FlatSetComp.predsAll_ This FlatPredList is used to evaluate ALL members of the set.
protected FlatPredList	FlatIfThenElse.right_ The right-hand expr, once known.
protected FlatPredList	FlatMu.schText_
protected FlatPredList	FlatForall.schText_

Constructors in net.sourceforge.czt.animation.eval.flatpred with parameters of type FlatPredList

Constructor and Description
FlatExists(FlatPredList sch, FlatPredList body)
FlatForall(FlatPredList sch, FlatPredList body)
FlatIfThenElse(FlatPredList pred, FlatPredList left, net.sourceforge.czt.z.ast.ZName leftResult, FlatPredList right, net.sourceforge.czt.z.ast.ZName rightResult, net.sourceforge.czt.z.ast.ZName wholeResult) Creates a new instance of FlatUnion.
FlatMu(FlatPredList sch, net.sourceforge.czt.z.ast.ZName result)
FlatOr(FlatPredList left, FlatPredList right) Creates a new instance of FlatOr.

Uses of FlatPredList in net.sourceforge.czt.animation.eval.result

Fields in net.sourceforge.czt.animation.eval.result declared as FlatPredList

Modifier and Type	Field and Description
protected FlatPredList	SetComp.preds_ This FlatPredList is used to evaluate ALL members of the set.

Constructors in net.sourceforge.czt.animation.eval.result with parameters of type FlatPredList

Constructor and Description
SetComp(FlatPredList preds, net.sourceforge.czt.z.ast.ZName resultName, Envir env0, Bounds bnds) The resultName must be for predsAll.