net.sourceforge.czt.animation.eval.flatpred

Class FlatFalse

java.lang.Object

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

net.sourceforge.czt.animation.eval.flatpred.FlatFalse

public class FlatFalse
extends FlatPred

FlatFalse implements the false predicate, which causes all evaluations to fail.

Field Summary

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

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

Constructor Summary

Constructors

Constructor and Description
FlatFalse()

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 env) Chooses the mode in which the predicate can be evaluated.
FlatFalse	create(Object[] newargs)
Object[]	getChildren() getChildren returns { args[0], constant }
boolean	nextEvaluation() Does the actual evaluation
String	toString() A default implementation of toString.

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FlatFalse

public FlatFalse()

Method Detail

chooseMode

public Mode chooseMode(Envir env)

Chooses the mode in which the predicate can be evaluated.

Specified by:

chooseMode in class FlatPred

Returns:

The Mode object, with statistics and an updated environment.

nextEvaluation

public boolean nextEvaluation()

Does the actual evaluation

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

getChildren

public Object[] getChildren()

getChildren returns { args[0], constant }

create

public FlatFalse create(Object[] newargs)

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