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

Packages that use FlatPred

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

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

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

Modifier and Type	Class and Description
class	FlatBinding Evaluates ZBinding terms.
class	FlatBindSel FlatTupleSel implements the binding.n = result predicate.
class	FlatCard
class	FlatConst FlatPlus implements the var = const predicate.
class	FlatDiscreteSet
class	FlatDiv FlatMult implements the a/b=c predicate.
class	FlatEquals FlatEquals implements the a = b predicate.
class	FlatEvalSet
class	FlatExists This implements the exists quantifier.
class	FlatFalse FlatFalse implements the false predicate, which causes all evaluations to fail.
class	FlatForall
class	FlatGivenSet An extensible set of 'unknown' values (represented by strings).
class	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.
class	FlatLessThan This implements the a < b predicate.
class	FlatLessThanEquals FlatPlus implements the a <= b predicate.
class	FlatMember
class	FlatMod FlatMult implements the a/b=c predicate.
class	FlatMu This overrides the forall evaluation algorithm.
class	FlatMult FlatMult implements the a*b=c predicate.
class	FlatNegate FlatNegate implements the -a = b predicate.
class	FlatNot
class	FlatOr FlatOr(p, q) implements p \lor q.
class	FlatPlus FlatPlus implements the a+b=c predicate.
class	FlatPowerSet
class	FlatPredList Manages a list of FlatPred predicates.
class	FlatProd FlatProd([a,b,c...], s) implements a \cross b \cross c...
class	FlatRangeSet
class	FlatRelSet
class	FlatSetComp
class	FlatTuple
class	FlatTupleSel FlatTupleSel implements the tuple.i = result predicate.
class	FlatUnion FlatUnion(a, b, r) implements a \cup b = s.

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

Modifier and Type	Field and Description
protected FlatPred	Mode.parent_

Fields in net.sourceforge.czt.animation.eval.flatpred with type parameters of type FlatPred

Modifier and Type	Field and Description
protected List<FlatPred>	FlatPredList.predlist_ This stores the list of FlatPreds used in the current evaluation.

Methods in net.sourceforge.czt.animation.eval.flatpred that return FlatPred

Modifier and Type	Method and Description
FlatPred	Mode.getParent() Returns the FlatPred that created this mode

Methods in net.sourceforge.czt.animation.eval.flatpred that return types with arguments of type FlatPred

Modifier and Type	Method and Description
Iterator<FlatPred>	FlatPredList.iterator() An iterator over the FlatPreds in this list.

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

Modifier and Type	Method and Description
void	FlatPredList.add(FlatPred flat) Add one FlatPred to the FlatPred list.

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

Constructor and Description
Mode(FlatPred parent, Envir preEnv, List<net.sourceforge.czt.z.ast.ZName> args, double solns) Constructor for Mode objects.
ModeList(FlatPred parent, Envir env0, Envir env, List<net.sourceforge.czt.z.ast.ZName> args, double solns, List<Mode> subModes) Constructor for ModeList objects.

Uses of FlatPred in net.sourceforge.czt.animation.eval.flatvisitor

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

Modifier and Type	Method and Description
R	FlatPredVisitor.visitFlatPred(FlatPred term) Visits a FlatPred.