Uses of Class
net.sourceforge.czt.animation.eval.ZLive

Packages that use ZLive

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

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

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

Modifier and Type	Field and Description
protected ZLive	TextUI.zlive_ The animator engine

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

Modifier and Type	Method and Description
ZLive	TextUI.getZLive() Get the instance of ZLive that is used for evaluation.

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

Constructor and Description
Flatten(ZLive zlive)
FlattenVisitor(ZLive zlive, FlatPredList destination, DefinitionTable defns)
TextUI(ZLive zlive, PrintWriter output) Constructs a new ZLive textual user interface.

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

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

Constructor and Description
FlatGivenSet(net.sourceforge.czt.z.ast.ZName set, String name, ZLive zlive)
FlatNot(ZLive zlive)
FlatPredList(ZLive newZLive) Creates an empty FlatPred list.
FlatSetComp(ZLive zlive, net.sourceforge.czt.z.ast.ZSchText stext, net.sourceforge.czt.z.ast.Expr result, net.sourceforge.czt.z.ast.ZName set) FlatSetComp(D,P,E,S) implements {D|P@E} = S.