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

Packages that use Bounds

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

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

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

Modifier and Type	Field and Description
protected Bounds	FlatForall.bodyBounds_
protected Bounds	FlatUnion.bounds_ The most recent variable bounds information.
protected Bounds	FlatSetComp.bounds_ The most recent variable bounds information.
protected Bounds	FlatRangeSet.bounds_ The most recent variable bounds information.
protected Bounds	FlatProd.bounds_ The most recent bounds information.
protected Bounds	FlatNot.bounds_
protected Bounds	FlatMember.bounds_ The most recent variable bounds information.
protected Bounds	FlatExists.bounds_
protected Bounds	FlatDiscreteSet.bounds_ The most recent variable bounds information.
protected Bounds	FlatOr.leftBounds_ Bounds information for the left_ predicate.
protected Bounds	FlatIfThenElse.leftBounds_ Bounds information for the left_ expression.
protected Bounds	Bounds.parent_
protected Bounds	FlatOr.rightBounds_ Bounds information for the right_ predicate.
protected Bounds	FlatIfThenElse.rightBounds_ Bounds information for the right_ expression.
protected Bounds	FlatMu.schBounds_
protected Bounds	FlatForall.schBounds_

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

Modifier and Type	Method and Description
boolean	FlatUnion.inferBounds(Bounds bnds) Numeric bounds information can flow both ways.
boolean	FlatTupleSel.inferBounds(Bounds bnds)
boolean	FlatTuple.inferBounds(Bounds bnds)
boolean	FlatSetComp.inferBounds(Bounds bnds) This does local bounds inference.
boolean	FlatRelSet.inferBounds(Bounds bnds) Adds this power set into the Bounds information.
boolean	FlatRangeSet.inferBounds(Bounds bnds) Saves the Bounds information for later use.
boolean	FlatProd.inferBounds(Bounds bnds) This calculates the maximum and estimated size of the cartesian product from the maximum and estimated sizes of the base sets.
boolean	FlatPredList.inferBounds(Bounds bnds) Infer bounds for any integer variables.
boolean	FlatPred.inferBounds(Bounds bnds) Infer bounds for any integer variables.
boolean	FlatPowerSet.inferBounds(Bounds bnds) Adds this power set into the Bounds information.
boolean	FlatPlus.inferBounds(Bounds bnds)
boolean	FlatOr.inferBounds(Bounds bnds) Bounds information can only flow into the disjuncts at the moment.
boolean	FlatNot.inferBounds(Bounds bnds) This let bounds information flow into the negation, but not out.
boolean	FlatNegate.inferBounds(Bounds bnds)
boolean	FlatMult.inferBounds(Bounds bnds)
boolean	FlatMu.inferBounds(Bounds bnds) This does local bounds inference.
boolean	FlatMember.inferBounds(Bounds bnds)
boolean	FlatLessThanEquals.inferBounds(Bounds bnds)
boolean	FlatLessThan.inferBounds(Bounds bnds)
boolean	FlatIfThenElse.inferBounds(Bounds bnds) Bounds information flows into pred_, left_ and right_, but not out.
boolean	FlatForall.inferBounds(Bounds bnds) This lets bound information flow into the quantifier, but not out.
boolean	FlatExists.inferBounds(Bounds bnds) This allows bounds information to flow into the Exists but not out.
boolean	FlatEquals.inferBounds(Bounds bnds) Copies integer bounds from each arg to the other.
boolean	FlatDiscreteSet.inferBounds(Bounds bnds) Saves the Bounds information for later use.
boolean	FlatConst.inferBounds(Bounds bnds)
boolean	FlatCard.inferBounds(Bounds bnds)
boolean	FlatBindSel.inferBounds(Bounds bnds)
boolean	FlatBinding.inferBounds(Bounds bnds)
boolean	FlatPredList.inferBoundsFixPoint(Bounds bnds) Equivalent to inferBoundsFixPoint(bnds, 5).
boolean	FlatPredList.inferBoundsFixPoint(Bounds bnds, int maxPasses) Infer bounds for any integer variables.
void	Bounds.startAnalysis(Bounds parent) This is similar to startAnalysis with no parameters, but it also updates the local bounds information from the parent.

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

Constructor and Description
Bounds(Bounds parent) Create a fresh Bounds object with no bounds values.

Uses of Bounds in net.sourceforge.czt.animation.eval.result

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

Modifier and Type	Field and Description
protected Bounds	SetComp.bounds_ This stores general information about the bounds of the variables in this set comprehension.

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

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