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

Packages that use Envir

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

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

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

Modifier and Type	Field and Description
protected Envir	ZLiveResult.envir0_
protected Envir	Envir.nextEnv

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

Modifier and Type	Method and Description
static Envir	EnvirUtils.copy(Envir a)
Envir	Envir.deepCopy() Returns a copy of this environment, with no values shared.
Envir	ZLiveResult.getEnvir0()
Envir	Envir.hide(net.sourceforge.czt.z.ast.ZName name) Hides the given name, so the the environment *appears* not to include that name.
static Envir	EnvirUtils.merge(Envir a, Envir b)
Envir	Envir.plus(net.sourceforge.czt.z.ast.ZName name, net.sourceforge.czt.z.ast.Expr value) Create a new Envir which equals this one, plus an extra name,value pair.
Envir	Envir.plusAll(net.sourceforge.czt.z.ast.BindExpr binding) Creates an environment which extends this one by adding all the name==expr pairs in binding.

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

Modifier and Type	Method and Description
static Envir	EnvirUtils.copy(Envir a)
Set<net.sourceforge.czt.z.ast.ZName>	Envir.definedSince(Envir env0) Return the set of newly defined names.
static boolean	EnvirUtils.disjoint(Envir one, Envir other)
ZLiveResult	ZLive.evalTerm(boolean expr, net.sourceforge.czt.base.ast.Term term, Envir env0) Evaluate an expression or predicate.
static List<net.sourceforge.czt.z.ast.Expr>	EnvirUtils.exprs(Envir one)
boolean	Envir.isDefinedSince(Envir env0, net.sourceforge.czt.z.ast.ZName want) See if a name is recently defined in the Environment.
static Envir	EnvirUtils.merge(Envir a, Envir b)
static Set<net.sourceforge.czt.z.ast.ZName>	EnvirUtils.names(Envir one)
static boolean	EnvirUtils.sameAs(Envir one, Envir other)
void	ZLiveResult.setEnvir0(Envir env0) Record the initial environment in which the term is evaluated.
static boolean	EnvirUtils.subset(Envir one, Envir other)

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

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 Envir in net.sourceforge.czt.animation.eval.flatpred

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

Modifier and Type	Field and Description
protected Envir	Mode.postEnvir_ The environment after executing the FlatPred.
protected Envir	Mode.preEnvir_ The environment before executing the FlatPred.

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

Modifier and Type	Method and Description
Envir	Mode.getEnvir() Get the environment that includes any output variables of FlatPred.
Envir	FlatPred.getEnvir() Get the output environment of the evaluation.
Envir	Mode.getEnvir0() Get the input environment of this Mode.
Envir	FlatPredList.getOutputEnvir() The output environment of this FlatPred list.

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

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.
ModeList	FlatPredList.chooseMode(Envir env0) Optimises the list and chooses a mode.
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)
ModeList	FlatNot.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
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)
ModeList	FlatForall.chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
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
double	FlatUnion.estSize(Envir env) Estimate the size of the set in a given environment.
protected double	FlatMember.estSize(Envir env) Returns all known information about the maximum size of the set, for the given membership request.
double	FlatGivenSet.estSize(Envir env) Estimate the size of the set in a given environment.
double	FlatUnion.estSubsetSize(Envir env, net.sourceforge.czt.z.ast.ZName elem) Estimate the size of {x:this | x=elem} in a given environment.
double	FlatGivenSet.estSubsetSize(Envir env, net.sourceforge.czt.z.ast.ZName elem)
protected net.sourceforge.czt.z.ast.Expr	FlatEquals.findSetInfo(net.sourceforge.czt.z.ast.ZName name, Envir env) Tries to find approximate information about the given name.
protected List<EvalSet>	FlatProd.findSets(Envir env) Helper method to search for all the base sets.
protected Map<Object,net.sourceforge.czt.z.ast.Expr>	FlatMember.knownValues(Envir env) Returns the set of arguments that already have known values.
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.
protected RangeSet	FlatMember.range(Envir env) Returns all known information about the range of integer members, if this set happens to contain integers.

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

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 Envir in net.sourceforge.czt.animation.eval.result

Fields in net.sourceforge.czt.animation.eval.result declared as Envir

Modifier and Type	Field and Description
protected Envir	SetComp.env0_ This is the environment that defines all the free variables of this set comprehension.
protected Envir	SetComp.outputEnvir_ The generated environment that contains the output values.

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

Modifier and Type	Method and Description
double	EvalSet.estSubsetSize(Envir env, net.sourceforge.czt.z.ast.ZName elem) Estimate the size of {x:this | x=elem} in a given environment.
double	DefaultEvalSet.estSubsetSize(Envir env, net.sourceforge.czt.z.ast.ZName elem) Estimate the size of {x:this | x=elem} in a given environment.

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

Constructor and Description
SetComp(FlatPredList preds, net.sourceforge.czt.z.ast.ZName resultName, Envir env0, Bounds bnds) The resultName must be for predsAll.