org.metacsp.multi.symbols

Class SymbolicVariableConstraintSolver

java.lang.Object

org.metacsp.framework.ConstraintSolver

org.metacsp.framework.multi.MultiConstraintSolver

org.metacsp.multi.symbols.SymbolicVariableConstraintSolver

All Implemented Interfaces:

java.io.Serializable

public class SymbolicVariableConstraintSolver
extends MultiConstraintSolver

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.metacsp.framework.multi.MultiConstraintSolver

MultiConstraintSolver.OPTIONS

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	enumerateSets
protected int	IDs
protected boolean	singleValue
protected java.lang.String[]	symbols
protected static SymbolicVariableConstraintSolver	thisSolver
protected java.util.HashSet<Constraint>	toMask

Fields inherited from class org.metacsp.framework.multi.MultiConstraintSolver

constraintSolvers, ingredients

Fields inherited from class org.metacsp.framework.ConstraintSolver

autoprop, components, constraintTypes, logger, name, nesting, noPropOnVarCreation, numcalls, skipPropagation, spacing, theNetwork, variableType

Constructor Summary

Constructors

Constructor and Description
SymbolicVariableConstraintSolver()
SymbolicVariableConstraintSolver(java.lang.String[] symbols, int maxVars)
SymbolicVariableConstraintSolver(java.lang.String[] symbols, int maxVars, boolean propagateOnVarCreation)

Method Summary

Modifier and Type	Method and Description
BooleanVariable	getBooleanForSymbol(java.lang.String symbol)
boolean	getEnumerateSets()
boolean	getSingleValue()
java.lang.String	getSymbol(int i)
java.lang.String[]	getSymbols()
static Variable	intersection(Variable... vars)
void	maskConstraints(Constraint[] c) Method to mask constraints; does nothing, must be overridden; always called before propagation.
boolean	propagate() Propagate the constraint network.
void	setEnumerateSets(boolean enumerateSets)
void	setSingleValue(boolean singleValue)
static Variable	union(Variable... vars)
void	unmaskConstraints(Constraint[] c) Method to unmask constraints (reverse making done in maskConstraints() method); does nothing, must be overridden; always called after propagation.

Methods inherited from class org.metacsp.framework.multi.MultiConstraintSolver

addConstraintsSub, createVariablesSub, createVariablesSub, createVariablesSub, drawConstraintNetworkHierarchy, drawConstraintSolverHierarchy, failurePruning, getConstraintNetworkHierarchy, getConstraintNetworksFromSolverHierarchy, getConstraintSolver, getConstraintSolverHierarchy, getConstraintSolvers, getConstraintSolversFromConstraintSolverHierarchy, getDescription, getOption, registerValueChoiceFunctions, removeConstraintsSub, removeVariablesSub, setConstraintSolver, setIngredients, setOptions

Methods inherited from class org.metacsp.framework.ConstraintSolver

addConstraint, addConstraintNoPropagation, addConstraints, addConstraintsDebug, addConstraintsNoPropagation, containsVariable, createVariable, createVariable, createVariables, createVariables, deplenish, getComponent, getComponents, getConstraintNetwork, getConstraints, getConstraints, getID, getOption, getVariable, getVariables, getVariables, getVariables, isCompatible, removeConstraint, removeConstraints, removeVariable, removeVariables, setComponent, setComponents, setConstraintNetwork, setName, setOptions, toString

Methods inherited from class java.lang.Object

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

Field Detail

IDs

protected int IDs

symbols

protected java.lang.String[] symbols

singleValue

protected boolean singleValue

enumerateSets

protected boolean enumerateSets

thisSolver

protected static SymbolicVariableConstraintSolver thisSolver

toMask

protected java.util.HashSet<Constraint> toMask

Constructor Detail

SymbolicVariableConstraintSolver

public SymbolicVariableConstraintSolver()

SymbolicVariableConstraintSolver

public SymbolicVariableConstraintSolver(java.lang.String[] symbols,
                                        int maxVars)

SymbolicVariableConstraintSolver

public SymbolicVariableConstraintSolver(java.lang.String[] symbols,
                                        int maxVars,
                                        boolean propagateOnVarCreation)

Method Detail

union

public static Variable union(Variable... vars)

intersection

public static Variable intersection(Variable... vars)

setSingleValue

public void setSingleValue(boolean singleValue)

setEnumerateSets

public void setEnumerateSets(boolean enumerateSets)

getSingleValue

public boolean getSingleValue()

getEnumerateSets

public boolean getEnumerateSets()

getSymbols

public java.lang.String[] getSymbols()

getSymbol

public java.lang.String getSymbol(int i)

getBooleanForSymbol

public BooleanVariable getBooleanForSymbol(java.lang.String symbol)

propagate

public boolean propagate()

Description copied from class: ConstraintSolver

Propagate the constraint network.

Specified by:

propagate in class MultiConstraintSolver

Returns:

A boolean value indicating whether propagation was successful.

maskConstraints

public void maskConstraints(Constraint[] c)

Description copied from class: ConstraintSolver

Method to mask constraints; does nothing, must be overridden; always called before propagation.

Overrides:

maskConstraints in class ConstraintSolver

Parameters:

c - The constraints that are being added by this call to propagate.

unmaskConstraints

public void unmaskConstraints(Constraint[] c)

Description copied from class: ConstraintSolver

Method to unmask constraints (reverse making done in maskConstraints() method); does nothing, must be overridden; always called after propagation.

Overrides:

unmaskConstraints in class ConstraintSolver

Parameters:

c - The constraints that were added by this call to propagate.