net.sourceforge.czt.animation.eval.flatpred

Class FlatMu

java.lang.Object

net.sourceforge.czt.animation.eval.flatpred.FlatPred

net.sourceforge.czt.animation.eval.flatpred.FlatMu

public class FlatMu
extends FlatPred

This overrides the forall evaluation algorithm.

Field Summary

Fields

Modifier and Type	Field and Description
protected static Logger	LOG
protected net.sourceforge.czt.z.ast.ZName	resultName_
protected Bounds	schBounds_
protected FlatPredList	schText_

Fields inherited from class net.sourceforge.czt.animation.eval.flatpred.FlatPred

args_, evalMode_, freeVars_, INDENT, printer_, solutionsReturned_

Constructor Summary

Constructors

Constructor and Description
FlatMu(FlatPredList sch, net.sourceforge.czt.z.ast.ZName result)

Method Summary

Modifier and Type	Method and Description
<R> R	accept(net.sourceforge.czt.util.Visitor<R> visitor) Calls visitor.visitPred (preferably) or visitor.visitTerm.
Mode	chooseMode(Envir env0) Allows functional modes (IIO and III).
boolean	inferBounds(Bounds bnds) This does local bounds inference.
boolean	nextEvaluation() Iterates through all solutions to the schema text and the expression, checks that they are all equal, then returns that value.
void	setMode(Mode mode) Set the mode that will be used to evaluate this predicate.
String	toString() A default implementation of toString.

Methods inherited from class net.sourceforge.czt.animation.eval.flatpred.FlatPred

freeVars, getArgs, getEnvir, getLastArg, getMode, indent, modeAllDefined, modeCollection, modeFunction, modeOneOutput, printArg, printBinOp, printLastArg, printName, printQuant, startEvaluation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

LOG

protected static final Logger LOG

schText_

protected FlatPredList schText_

schBounds_

protected Bounds schBounds_

resultName_

protected net.sourceforge.czt.z.ast.ZName resultName_

Constructor Detail

FlatMu

public FlatMu(FlatPredList sch,
              net.sourceforge.czt.z.ast.ZName result)

Method Detail

inferBounds

public boolean inferBounds(Bounds bnds)

This does local bounds inference. So bounds information flows into the mu term, but not out.

Overrides:

inferBounds in class FlatPred

Parameters:

bnds - The database of lower and upper bounds for integer variables.

Returns:

true iff the bnds database has been changed.

The default implementation infers nothing and returns false.

chooseMode

public Mode chooseMode(Envir env0)

Allows functional modes (IIO and III).

Specified by:

chooseMode in class FlatPred

Returns:

The Mode object, with statistics and an updated environment.

setMode

public void setMode(Mode mode)

Description copied from class: FlatPred

Set the mode that will be used to evaluate this predicate.

Overrides:

setMode in class FlatPred

Parameters:

mode - Must be one of the modes returned previously by chooseMode.

nextEvaluation

public boolean nextEvaluation()

Iterates through all solutions to the schema text and the expression, checks that they are all equal, then returns that value. It throws an UndefException if the schema text/expr evaluation does, or if there are no solutions or more than one (distinct) solution.

Specified by:

nextEvaluation in class FlatPred

Returns:

true iff another solution has been found.

toString

public String toString()

Description copied from class: FlatPred

A default implementation of toString. This returns "FlatXXX(args[0], args[1], ...)".

Overrides:

toString in class FlatPred

accept

public <R> R accept(net.sourceforge.czt.util.Visitor<R> visitor)

Description copied from class: FlatPred

Calls visitor.visitPred (preferably) or visitor.visitTerm. Subclasses that correspond to particular kinds of Pred should override this to call more specific visitXXX methods (and should call super to handle the remaining cases).

Overrides:

accept in class FlatPred