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

Class Summary

Class	Description
Bounds	Maintains lower and upper bounds for integer variables.
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.
FlatEvalSet
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.
FlatPredList	Manages a list of FlatPred predicates.
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.
Mode	A Mode object contains information about one way of executing a FlatPred.
ModeList	A subclass of Mode that records modes for compound structures.