net.sourceforge.czt.animation.eval.flatpred

Class FlatProd

java.lang.Object

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

net.sourceforge.czt.animation.eval.flatpred.FlatProd

public class FlatProd
extends FlatPred

FlatProd([a,b,c...], s) implements a \cross b \cross c... = s. It creates an EvalSet for s that hides the base sets a,b,c... and can be used to do membership tests or to enumerate all members (with no duplicates).

Author:

marku

Field Summary

Fields

Modifier and Type	Field and Description
protected Bounds	bounds_ The most recent bounds information.

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

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

Constructor Summary

Constructors

Constructor and Description
FlatProd(List<net.sourceforge.czt.z.ast.ZName> baseSets, net.sourceforge.czt.z.ast.ZName s) Creates a new instance of FlatUnion

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) TODO: could implement a reverse mode as well, but rarely useful.
protected List<EvalSet>	findSets(Envir env) Helper method to search for all the base sets.
boolean	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	nextEvaluation() Generates the next solution that satisfies 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, setMode, startEvaluation

Methods inherited from class java.lang.Object

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

Field Detail

bounds_

protected Bounds bounds_

The most recent bounds information.

Constructor Detail

FlatProd

public FlatProd(List<net.sourceforge.czt.z.ast.ZName> baseSets,
                net.sourceforge.czt.z.ast.ZName s)

Creates a new instance of FlatUnion

Method Detail

inferBounds

public boolean inferBounds(Bounds bnds)

This calculates the maximum and estimated size of the cartesian product from the maximum and estimated sizes of the base sets. TODO: could perform two-way bounds propagation similar to multiplication, but this is probably rarely useful.

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 env)

TODO: could implement a reverse mode as well, but rarely useful.

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.

findSets

protected List<EvalSet> findSets(Envir env)

Helper method to search for all the base sets.

Returns:

null if some are not known yet.

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