net.sourceforge.czt.animation.eval.flatpred

Class FlatNot

java.lang.Object

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

net.sourceforge.czt.animation.eval.flatpred.FlatPredList

net.sourceforge.czt.animation.eval.flatpred.FlatNot

public class FlatNot
extends FlatPredList

Field Summary

Fields

Modifier and Type	Field and Description
protected Bounds	bounds_

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

boundVars_, optimize_, predlist_

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

args_, evalMode_, freeVars_, INDENT, LOG, printer_, solutionsReturned_

Constructor Summary

Constructors

Constructor and Description
FlatNot(ZLive zlive)

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.
ModeList	chooseMode(Envir env) Chooses the mode in which the predicate can be evaluated.
boolean	inferBounds(Bounds bnds) This let bounds information flow into the negation, but not out.
boolean	nextEvaluation() Does the actual evaluation
String	toString() This prints each FlatPred on a separate line.

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

add, addDecl, addExistsPred, addExistsSchText, addExpr, addPred, addSchText, boundVars, freeVars, getArgs, getFactory, getOutputEnvir, inferBoundsFixPoint, inferBoundsFixPoint, iterator, makeBound, makeFree, setMode, size, startEvaluation

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

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

Methods inherited from class java.lang.Object

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

Field Detail

bounds_

protected Bounds bounds_

Constructor Detail

FlatNot

public FlatNot(ZLive zlive)

Method Detail

inferBounds

public boolean inferBounds(Bounds bnds)

This let bounds information flow into the negation, but not out.

Overrides:

inferBounds in class FlatPredList

Parameters:

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

Returns:

true iff the bnds database has been changed at all.

chooseMode

public ModeList chooseMode(Envir env)

Chooses the mode in which the predicate can be evaluated.

Overrides:

chooseMode in class FlatPredList

Returns:

The Mode object, with statistics and an updated environment.

nextEvaluation

public boolean nextEvaluation()

Does the actual evaluation

Overrides:

nextEvaluation in class FlatPredList

Returns:

true iff a new solution was found.

toString

public String toString()

Description copied from class: FlatPredList

This prints each FlatPred on a separate line. If a FlatPred within the list is displayed on multiple lines, it indents those lines, to preserve the nested indentation structure.

Overrides:

toString in class FlatPredList

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