net.sourceforge.czt.animation.eval.flatpred

Class FlatGivenSet

java.lang.Object

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

net.sourceforge.czt.animation.eval.flatpred.FlatGivenSet

public class FlatGivenSet
extends FlatPred

An extensible set of 'unknown' values (represented by strings).

Author:

Mark Utting

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
FlatGivenSet(net.sourceforge.czt.z.ast.ZName set, String name, 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.
Mode	chooseMode(Envir env) Choose the mode that this predicate could use in this environment.
boolean	contains(Object obj)
boolean	equals(Object obj) To given sets are equal iff they are the same set.
double	estSize() Estimate the size of the set in the default environment.
double	estSize(Envir env) Estimate the size of the set in a given environment.
double	estSubsetSize(Envir env, net.sourceforge.czt.z.ast.ZName elem)
double	getApproxSize()
BigInteger	getLower() The lower bound on numeric elements, if any, else null.
String	getName() The name of this given set.
BigInteger	getUpper() The upper bound on numeric elements, if any, else null.
BigInteger	maxSize() The maximum size of the set in the default environment.
boolean	nextEvaluation() Generates the next solution that satisfies this predicate.
protected net.sourceforge.czt.z.ast.Expr	nextMember()
int	size() Always throws an exception, since the size of given sets is unknown.
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, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FlatGivenSet

public FlatGivenSet(net.sourceforge.czt.z.ast.ZName set,
                    String name,
                    ZLive zlive)

Method Detail

getApproxSize

public double getApproxSize()

getName

public String getName()

The name of this given set.

contains

public boolean contains(Object obj)

getLower

public BigInteger getLower()

The lower bound on numeric elements, if any, else null.

getUpper

public BigInteger getUpper()

The upper bound on numeric elements, if any, else null.

maxSize

public BigInteger maxSize()

The maximum size of the set in the default environment.

Returns:

Upper bound on the size of the set, or null if not known.

estSize

public double estSize()

Estimate the size of the set in the default environment. The default environment should have been set (via FlatPred.setMode) before you can call this.

estSize

public double estSize(Envir env)

Estimate the size of the set in a given environment.

size

public int size()

Always throws an exception, since the size of given sets is unknown.

estSubsetSize

public double estSubsetSize(Envir env,
                            net.sourceforge.czt.z.ast.ZName elem)

equals

public boolean equals(Object obj)

To given sets are equal iff they are the same set. That is, they have the same name.

Overrides:

equals in class Object

chooseMode

public Mode chooseMode(Envir env)

Description copied from class: FlatPred

Choose the mode that this predicate could use in this environment. The result is null if no evaluation is possible. Otherwise, the resulting Mode object contains an updated environment (with any output variables added), plus various estimates about how expensive this predicate will be to execute.

Specified by:

chooseMode in class FlatPred

Returns:

The Mode object, with statistics and an updated environment.

nextEvaluation

public boolean nextEvaluation()

Description copied from class: FlatPred

Generates the next solution that satisfies this predicate. This must only be called after startEvaluation().

Specified by:

nextEvaluation in class FlatPred

Returns:

true iff another solution has been found.

nextMember

protected net.sourceforge.czt.z.ast.Expr nextMember()

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