public class SpatialFluent extends MultiVariable
backupForSerialization, constraints, internalSolvers, variablesattributes, dependentVariables, id, logger, solver| Constructor and Description |
|---|
SpatialFluent(ConstraintSolver cs,
int id,
ConstraintSolver[] internalSolvers,
Variable[] internalVars) |
| Modifier and Type | Method and Description |
|---|---|
int |
compareTo(Variable arg0) |
protected Constraint[] |
createInternalConstraints(Variable[] variables)
This method must be implemented to define the internal lower-level
Constraints of this
MultiVariable. |
SymbolicVariableActivity |
getActivity() |
ConfigurationVariable |
getConfigurationVariable() |
java.lang.String |
getName() |
RectangularRegion |
getRectangularRegion() |
void |
setDomain(Domain d)
Set the domain of this variable.
|
void |
setName(java.lang.String name) |
java.lang.String |
toString()
Get a
String representation of this Variable. |
drawVariableHierarchy, getDescription, getDomain, getInternalConstraints, getInternalConstraintSolvers, getInternalVariables, getVariableHierarchy, getVariablesFromVariableHierarchy, setComponentaddDependentVariables, dependsOn, equals, getAncestorVariable, getAttributes, getColor, getComponent, getConstraintSolver, getDependentVariables, getID, getMarking, getOwner, getParentVariable, getRecursivelyDependentVariables, getRootVariable, hashCode, isDependentVariable, removeDependentVariables, setAttributes, setColor, setDependentVariables, setMarking, setOwner, setParentVariablepublic SpatialFluent(ConstraintSolver cs, int id, ConstraintSolver[] internalSolvers, Variable[] internalVars)
public void setName(java.lang.String name)
public java.lang.String getName()
public int compareTo(Variable arg0)
protected Constraint[] createInternalConstraints(Variable[] variables)
MultiVariableConstraints of this
MultiVariable.createInternalConstraints in class MultiVariablevariables - The internal variables among which the Constraints should be defined.Constraints of this
MultiVariable.public void setDomain(Domain d)
Variablepublic java.lang.String toString()
VariableString representation of this Variable.public SymbolicVariableActivity getActivity()
public RectangularRegion getRectangularRegion()
public ConfigurationVariable getConfigurationVariable()