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

Packages that use Mode

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

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

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

Modifier and Type	Field and Description
protected Mode	ZLiveResult.mode_

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

Modifier and Type	Method and Description
Mode	ZLiveResult.getMode() The mode that was used to evaluate the term.

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

Modifier and Type	Method and Description
void	ZLiveResult.setMode(Mode mode) Record the mode that was used to evaluate the term.

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

Constructor and Description
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 Mode in net.sourceforge.czt.animation.eval.flatpred

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

Modifier and Type	Class and Description
class	ModeList A subclass of Mode that records modes for compound structures.

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

Modifier and Type	Field and Description
protected Mode	FlatForall.bodyMode_ The mode returned by body_
protected Mode	FlatPred.evalMode_ The mode that will be used during evaluation.
protected Mode	FlatForall.schMode_ The mode returned by schText_

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

Modifier and Type	Method and Description
Mode	FlatUnion.chooseMode(Envir env)
Mode	FlatTupleSel.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatTuple.chooseMode(Envir env) Same modes as FlatBinding
Mode	FlatSetComp.chooseMode(Envir env) Like other Flat*Set* objects, this acts as a function: the free variables of the set are the inputs and the resulting EvalSet object is the output.
Mode	FlatRelSet.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatRangeSet.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatProd.chooseMode(Envir env) TODO: could implement a reverse mode as well, but rarely useful.
abstract Mode	FlatPred.chooseMode(Envir env) Choose the mode that this predicate could use in this environment.
Mode	FlatPowerSet.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatPlus.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatOr.chooseMode(Envir env0)
Mode	FlatNegate.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatMult.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatMu.chooseMode(Envir env0) Allows functional modes (IIO and III).
Mode	FlatMod.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatMember.chooseMode(Envir env)
Mode	FlatLessThanEquals.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatLessThan.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatIfThenElse.chooseMode(Envir env0) This requires pred_ and both of left_ and right_ expressions to have valid modes, because in general, we may have to evaluate both expressions.
Mode	FlatGivenSet.chooseMode(Envir env)
Mode	FlatFalse.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatEquals.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatDiv.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatDiscreteSet.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatConst.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatCard.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatBindSel.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
Mode	FlatBinding.chooseMode(Envir env) Same modes as FlatTuple
Mode	ModeList.get(int position) Gets one of the submodes.
Mode	FlatPred.getMode() Get the mode that has been set for evaluation purposes.
protected Mode	FlatPred.modeAllDefined(Envir env) A default implementation of chooseMode.
Mode	FlatPred.modeCollection(Envir env) A default implementation of chooseMode.
protected Mode	FlatPred.modeFunction(Envir env) A default implementation of chooseMode.
protected Mode	FlatPred.modeOneOutput(Envir env) A default implementation of chooseMode.

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

Modifier and Type	Method and Description
Iterator<Mode>	ModeList.iterator() An iterator over the submodes list.

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

Modifier and Type	Method and Description
void	ModeList.add(Mode mode) Add a mode to the end of the submodes list.
boolean	Mode.compatible(Mode other) Two modes are compatible if they have the same outputs.
void	FlatPredList.setMode(Mode mode) Set the mode that will be used to evaluate this list.
void	FlatPred.setMode(Mode mode) Set the mode that will be used to evaluate this predicate.
void	FlatOr.setMode(Mode mode) Set the mode that will be used to evaluate this list.
void	FlatMu.setMode(Mode mode)
void	FlatIfThenElse.setMode(Mode mode) Set the mode that will be used to evaluate this list.
void	FlatForall.setMode(Mode mode)

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

Constructor and Description
ModeList(Mode mode) A copy constructor.

Constructor parameters in net.sourceforge.czt.animation.eval.flatpred with type arguments of type Mode

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