Uses of Package
net.sourceforge.czt.animation.eval.flatpred

Packages that use net.sourceforge.czt.animation.eval.flatpred

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

Classes in net.sourceforge.czt.animation.eval.flatpred used by net.sourceforge.czt.animation.eval

Class and Description
FlatPredList Manages a list of FlatPred predicates.
Mode A Mode object contains information about one way of executing a FlatPred.

Classes in net.sourceforge.czt.animation.eval.flatpred used by net.sourceforge.czt.animation.eval.flatpred

Class and Description
Bounds Maintains lower and upper bounds for integer variables.
FlatConst FlatPlus implements the var = const predicate.
FlatEvalSet
FlatFalse FlatFalse implements the false predicate, which causes all evaluations to fail.
FlatForall
FlatPred FlatPred is the base class of the flattened predicates used in ZLive.
FlatPredList Manages a list of FlatPred predicates.
Mode A Mode object contains information about one way of executing a FlatPred.
ModeList A subclass of Mode that records modes for compound structures.

Classes in net.sourceforge.czt.animation.eval.flatpred used by net.sourceforge.czt.animation.eval.flatvisitor

Class and Description
FlatBinding Evaluates ZBinding terms.
FlatBindSel FlatTupleSel implements the binding.n = result predicate.
FlatCard
FlatConst FlatPlus implements the var = const predicate.
FlatDiscreteSet
FlatDiv FlatMult implements the a/b=c predicate.
FlatEquals FlatEquals implements the a = b predicate.
FlatExists This implements the exists quantifier.
FlatFalse FlatFalse implements the false predicate, which causes all evaluations to fail.
FlatForall
FlatGivenSet An extensible set of 'unknown' values (represented by strings).
FlatIfThenElse FlatIfThenElse(p, e1,n1, e2,n2, resultName) implements (p => n1=e1 and resultName=n1) and (not(p) => n2=e2 and resultName=n2) It requires all free vars of p, e1 and e2 to be ground.
FlatLessThan This implements the a < b predicate.
FlatLessThanEquals FlatPlus implements the a <= b predicate.
FlatMember
FlatMod FlatMult implements the a/b=c predicate.
FlatMu This overrides the forall evaluation algorithm.
FlatMult FlatMult implements the a*b=c predicate.
FlatNegate FlatNegate implements the -a = b predicate.
FlatNot
FlatOr FlatOr(p, q) implements p \lor q.
FlatPlus FlatPlus implements the a+b=c predicate.
FlatPowerSet
FlatPred FlatPred is the base class of the flattened predicates used in ZLive.
FlatProd FlatProd([a,b,c...], s) implements a \cross b \cross c...
FlatRangeSet
FlatRelSet
FlatSetComp
FlatTuple
FlatTupleSel FlatTupleSel implements the tuple.i = result predicate.
FlatUnion FlatUnion(a, b, r) implements a \cup b = s.

Classes in net.sourceforge.czt.animation.eval.flatpred used by net.sourceforge.czt.animation.eval.result

Class and Description
Bounds Maintains lower and upper bounds for integer variables.
FlatPredList Manages a list of FlatPred predicates.