|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
Interface of object that is used to generate instances of csp variables
| Method Summary | |
CspBooleanVariable |
booleanVar(java.lang.String name)
Creates a boolean variable |
CspBooleanVariable |
booleanVar(java.lang.String name,
CspBooleanExpr expr)
Creates an instance of a CspBooleanVariable object based on an expression. |
CspBooleanVariable |
booleanVar(java.lang.String name,
CspConstraint constraint)
Creates a boolean variable that wraps a constraint |
CspDoubleVariable |
doubleVar(java.lang.String name,
CspDoubleCast expr)
Creates an instance of a CspDoubleVariable object based on an expression. |
CspDoubleVariable |
doubleVar(java.lang.String name,
CspDoubleVariable var)
Creates an instance of a CspDoubleVariable object |
CspDoubleVariable |
doubleVar(java.lang.String name,
double min,
double max)
Creates an instance of a CspDoubleVariable object; uses an interval domain by default |
CspFloatVariable |
floatVar(java.lang.String name,
CspFloatCast expr)
Creates an instance of a CspFloatVariable object based on an expression. |
CspFloatVariable |
floatVar(java.lang.String name,
CspFloatVariable var)
Creates an instance of a CspFloatVariable object |
CspFloatVariable |
floatVar(java.lang.String name,
float min,
float max)
Creates an instance of a CspFloatVariable object; uses an interval-based domain by default |
CspGenericBooleanExpr |
genericBoolean(java.lang.String name,
CspGenericIndex[] indices,
CspBooleanExpr[] expressions)
Produces a generic variable that wraps a set of expressions |
CspGenericBooleanExpr |
genericBoolean(java.lang.String name,
CspGenericIndex[] indices,
CspConstraint constraint)
Produces a generic variable that wraps a constraint |
CspGenericBooleanExpr |
genericBoolean(java.lang.String name,
CspGenericIndex index,
CspBooleanExpr[] expressions)
Produces a generic variable that wraps a set of expressions |
CspGenericBooleanExpr |
genericBoolean(java.lang.String name,
CspGenericIndex index,
CspConstraint constraint)
Produces a generic variable that wraps a constraint |
CspGenericBooleanConstant |
genericBooleanConst(java.lang.String name,
CspGenericIndex[] indices,
boolean[] nodes)
Creates a generic boolean constant |
CspGenericBooleanConstant |
genericBooleanConst(java.lang.String name,
CspGenericIndex index,
boolean[] nodes)
Creates a generic boolean constant |
CspGenericDoubleExpr |
genericDouble(java.lang.String name,
CspGenericIndex[] indices,
CspDoubleVariable[] variables)
Produces a generic variable that wraps a set of nodes |
CspGenericDoubleExpr |
genericDouble(java.lang.String name,
CspGenericIndex[] indices,
int min,
int max)
Produces a generic variable that wraps a set of nodes |
CspGenericDoubleExpr |
genericDouble(java.lang.String name,
CspGenericIndex index,
CspDoubleVariable[] variables)
Produces a generic variable that wraps a set of nodes |
CspGenericDoubleExpr |
genericDouble(java.lang.String name,
CspGenericIndex index,
int min,
int max)
Produces a generic variable that wraps a set of nodes |
CspGenericDoubleConstant |
genericDoubleConst(java.lang.String name,
CspGenericIndex[] indices,
double[] nodes)
Creates a generic double constant |
CspGenericDoubleConstant |
genericDoubleConst(java.lang.String name,
CspGenericIndex[] indices,
java.lang.Double[] nodes)
Creates a generic double constant |
CspGenericDoubleConstant |
genericDoubleConst(java.lang.String name,
CspGenericIndex index,
double[] nodes)
Creates a generic double constant |
CspGenericDoubleConstant |
genericDoubleConst(java.lang.String name,
CspGenericIndex index,
java.lang.Double[] nodes)
Creates a generic double constant |
CspGenericFloatExpr |
genericFloat(java.lang.String name,
CspGenericIndex[] indices,
CspFloatVariable[] variables)
Produces a generic variable that wraps a set of nodes |
CspGenericFloatExpr |
genericFloat(java.lang.String name,
CspGenericIndex[] indices,
int min,
int max)
Produces a generic variable that wraps a set of nodes |
CspGenericFloatExpr |
genericFloat(java.lang.String name,
CspGenericIndex index,
CspFloatVariable[] variables)
Produces a generic variable that wraps a set of nodes |
CspGenericFloatExpr |
genericFloat(java.lang.String name,
CspGenericIndex index,
int min,
int max)
Produces a generic variable that wraps a set of nodes |
CspGenericFloatConstant |
genericFloatConst(java.lang.String name,
CspGenericIndex[] indices,
float[] nodes)
Creates a generic float constant |
CspGenericFloatConstant |
genericFloatConst(java.lang.String name,
CspGenericIndex[] indices,
java.lang.Float[] nodes)
Creates a generic float constant |
CspGenericFloatConstant |
genericFloatConst(java.lang.String name,
CspGenericIndex index,
float[] nodes)
Creates a generic float constant |
CspGenericFloatConstant |
genericFloatConst(java.lang.String name,
CspGenericIndex index,
java.lang.Float[] nodes)
Creates a generic float constant |
CspGenericIndex |
genericIndex(java.lang.String name,
int size)
Creates a generic index for use with generic variables |
CspGenericIntExpr |
genericInt(java.lang.String name,
CspGenericIndex[] indices,
CspIntVariable[] variables)
Produces a generic variable that wraps a set of nodes |
CspGenericIntExpr |
genericInt(java.lang.String name,
CspGenericIndex[] indices,
int min,
int max)
Produces a generic variable that wraps a set of nodes |
CspGenericIntExpr |
genericInt(java.lang.String name,
CspGenericIndex index,
CspIntVariable[] variables)
Produces a generic variable that wraps a set of nodes |
CspGenericIntExpr |
genericInt(java.lang.String name,
CspGenericIndex index,
int min,
int max)
Produces a generic variable that wraps a set of nodes |
CspGenericIntConstant |
genericIntConst(java.lang.String name,
CspGenericIndex[] indices,
int[] nodes)
Creates a generic int constant |
CspGenericIntConstant |
genericIntConst(java.lang.String name,
CspGenericIndex[] indices,
java.lang.Integer[] nodes)
Creates a generic int constant |
CspGenericIntConstant |
genericIntConst(java.lang.String name,
CspGenericIndex index,
int[] nodes)
Creates a generic int constant |
CspGenericIntConstant |
genericIntConst(java.lang.String name,
CspGenericIndex index,
java.lang.Integer[] nodes)
Creates a generic int constant |
CspGenericLongExpr |
genericLong(java.lang.String name,
CspGenericIndex[] indices,
CspLongVariable[] variables)
Produces a generic variable that wraps a set of nodes |
CspGenericLongExpr |
genericLong(java.lang.String name,
CspGenericIndex[] indices,
int min,
int max)
Produces a generic variable that wraps a set of nodes |
CspGenericLongExpr |
genericLong(java.lang.String name,
CspGenericIndex index,
CspLongVariable[] variables)
Produces a generic variable that wraps a set of nodes |
CspGenericLongExpr |
genericLong(java.lang.String name,
CspGenericIndex index,
int min,
int max)
Produces a generic variable that wraps a set of nodes |
CspGenericLongConstant |
genericLongConst(java.lang.String name,
CspGenericIndex[] indices,
long[] nodes)
Creates a generic long constant |
CspGenericLongConstant |
genericLongConst(java.lang.String name,
CspGenericIndex[] indices,
java.lang.Long[] nodes)
Creates a generic long constant |
CspGenericLongConstant |
genericLongConst(java.lang.String name,
CspGenericIndex index,
long[] nodes)
Creates a generic long constant |
CspGenericLongConstant |
genericLongConst(java.lang.String name,
CspGenericIndex index,
java.lang.Long[] nodes)
Creates a generic long constant |
double |
getDefaultPrecision()
Returns the default precision used when creating real variables |
CspMath |
getMath()
Returns a variable math object for advanced math operations |
CspSetConstraints |
getSetConstraints()
Returns an object used to create constraints on sets |
CspIntSetVariable |
intSetVar(java.lang.String name,
int min,
int max)
Creates an instance of a CspIntSetVariable object |
CspIntVariable |
intVar(java.lang.String name,
CspIntExpr expr)
Creates an instance of a CspIntVariable object based on an expression. |
CspIntVariable |
intVar(java.lang.String name,
CspIntVariable var)
Creates an instance of a CspIntVariable object |
CspIntVariable |
intVar(java.lang.String name,
int min,
int max)
Creates an instance of a CspIntVariable object; uses an interval-based domain by default |
CspIntVariable |
intVar(java.lang.String name,
int min,
int max,
boolean sparse)
Creates an instance of a CspIntVariable object |
CspIntVariable |
intVar(java.lang.String name,
IntSparseSet vals)
Creates an instance of a CspIntVariable object; uses an interval domain by default |
CspLongVariable |
longVar(java.lang.String name,
CspLongCast expr)
Creates an instance of a CspLongVariable object based on an expression. |
CspLongVariable |
longVar(java.lang.String name,
CspLongVariable var)
Creates an instance of a CspLongVariable object |
CspLongVariable |
longVar(java.lang.String name,
long min,
long max)
Creates an instance of a CspLongVariable object; uses an interval-based domain by default |
CspLongVariable |
longVar(java.lang.String name,
long min,
long max,
boolean sparse)
Creates an instance of a CspLongVariable object |
void |
setDefaultPrecision(double p)
Sets the default precision used when creating real variables |
| Method Detail |
public void setDefaultPrecision(double p)
p - value representing the minimum guaranteed precisionpublic double getDefaultPrecision()
public CspMath getMath()
public CspSetConstraints getSetConstraints()
public CspIntVariable intVar(java.lang.String name,
int min,
int max)
name - Unique name assigned to variablemin - Lower bound for variable's domainmax - Upper bound for variable's domain
public CspIntVariable intVar(java.lang.String name,
IntSparseSet vals)
name - Unique name assigned to variablevals - Set of sparse values for variable's domain
public CspIntVariable intVar(java.lang.String name,
int min,
int max,
boolean sparse)
name - Unique name assigned to variablemin - Lower bound for variable's domainmax - Upper bound for variable's domainsparse - Specifies the use of a sparse- or interval-based domain
public CspIntVariable intVar(java.lang.String name,
CspIntVariable var)
name - Unique name assigned to variablevar - Existing variable with a domain to clone
public CspIntVariable intVar(java.lang.String name,
CspIntExpr expr)
name - Unique name assigned to variableexpr - Expression that variable is based upon
public CspLongVariable longVar(java.lang.String name,
long min,
long max)
name - Unique name assigned to variablemin - Lower bound for variable's domainmax - Upper bound for variable's domain
public CspLongVariable longVar(java.lang.String name,
long min,
long max,
boolean sparse)
name - Unique name assigned to variablemin - Lower bound for variable's domainmax - Upper bound for variable's domainsparse - Specifies the use of a sparse- or interval-based domain
public CspLongVariable longVar(java.lang.String name,
CspLongVariable var)
name - Unique name assigned to variablevar - Existing variable with a domain to clone
public CspLongVariable longVar(java.lang.String name,
CspLongCast expr)
name - Unique name assigned to variableexpr - Expression that variable is based upon
public CspFloatVariable floatVar(java.lang.String name,
float min,
float max)
name - Unique name assigned to variablemin - Lower bound for variable's domainmax - Upper bound for variable's domain
public CspFloatVariable floatVar(java.lang.String name,
CspFloatVariable var)
name - Unique name assigned to variablevar - Existing variable with a domain to clone
public CspFloatVariable floatVar(java.lang.String name,
CspFloatCast expr)
name - Unique name assigned to variableexpr - Expression that variable is based upon
public CspDoubleVariable doubleVar(java.lang.String name,
double min,
double max)
name - Unique name assigned to variablemin - Lower bound for variable's domainmax - Upper bound for variable's domain
public CspDoubleVariable doubleVar(java.lang.String name,
CspDoubleVariable var)
name - Unique name assigned to variablevar - Existing variable with a domain to clone
public CspDoubleVariable doubleVar(java.lang.String name,
CspDoubleCast expr)
name - Unique name assigned to variableexpr - Expression that variable is based upon
public CspIntSetVariable intSetVar(java.lang.String name,
int min,
int max)
name - Unique name assigned to variablemin - Lower bound for variable's domainmax - Upper bound for variable's domain
public CspGenericIndex genericIndex(java.lang.String name,
int size)
name - Unique name assigned to indexsize - Total number of variables that will be used with index
public CspGenericIntExpr genericInt(java.lang.String name,
CspGenericIndex index,
CspIntVariable[] variables)
name - Unique name assigned to variableindex - Index variable is based uponvariables - Array of variables generic variable wraps
public CspGenericIntExpr genericInt(java.lang.String name,
CspGenericIndex[] indices,
CspIntVariable[] variables)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponvariables - Array of variables generic variable wraps
public CspGenericIntExpr genericInt(java.lang.String name,
CspGenericIndex index,
int min,
int max)
name - Unique name assigned to variableindex - Index variable is based uponmin - Minimum value of domain of internal variablesmax - Maximum value of domain of internal variables
public CspGenericIntExpr genericInt(java.lang.String name,
CspGenericIndex[] indices,
int min,
int max)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponmin - Minimum value of domain of internal variablesmax - Maximum value of domain of internal variables
public CspGenericLongExpr genericLong(java.lang.String name,
CspGenericIndex index,
CspLongVariable[] variables)
name - Unique name assigned to variableindex - Index variable is based uponvariables - Array of variables generic variable wraps
public CspGenericLongExpr genericLong(java.lang.String name,
CspGenericIndex[] indices,
CspLongVariable[] variables)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponvariables - Array of variables generic variable wraps
public CspGenericLongExpr genericLong(java.lang.String name,
CspGenericIndex index,
int min,
int max)
name - Unique name assigned to variableindex - Index variable is based uponmin - Minimum value of domain of internal variablesmax - Maximum value of domain of internal variables
public CspGenericLongExpr genericLong(java.lang.String name,
CspGenericIndex[] indices,
int min,
int max)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponmin - Minimum value of domain of internal variablesmax - Maximum value of domain of internal variables
public CspGenericFloatExpr genericFloat(java.lang.String name,
CspGenericIndex index,
CspFloatVariable[] variables)
name - Unique name assigned to variableindex - Index variable is based uponvariables - Array of variables generic variable wraps
public CspGenericFloatExpr genericFloat(java.lang.String name,
CspGenericIndex[] indices,
CspFloatVariable[] variables)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponvariables - Array of variables generic variable wraps
public CspGenericFloatExpr genericFloat(java.lang.String name,
CspGenericIndex index,
int min,
int max)
name - Unique name assigned to variableindex - Index variable is based uponmin - Minimum value of domain of internal variablesmax - Maximum value of domain of internal variables
public CspGenericFloatExpr genericFloat(java.lang.String name,
CspGenericIndex[] indices,
int min,
int max)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponmin - Minimum value of domain of internal variablesmax - Maximum value of domain of internal variables
public CspGenericDoubleExpr genericDouble(java.lang.String name,
CspGenericIndex index,
CspDoubleVariable[] variables)
name - Unique name assigned to variableindex - Index variable is based uponvariables - Array of variables generic variable wraps
public CspGenericDoubleExpr genericDouble(java.lang.String name,
CspGenericIndex[] indices,
CspDoubleVariable[] variables)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponvariables - Array of variables generic variable wraps
public CspGenericDoubleExpr genericDouble(java.lang.String name,
CspGenericIndex index,
int min,
int max)
name - Unique name assigned to variableindex - Index variable is based uponmin - Minimum value of domain of internal variablesmax - Maximum value of domain of internal variables
public CspGenericDoubleExpr genericDouble(java.lang.String name,
CspGenericIndex[] indices,
int min,
int max)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponmin - Minimum value of domain of internal variablesmax - Maximum value of domain of internal variables
public CspGenericBooleanExpr genericBoolean(java.lang.String name,
CspGenericIndex[] indices,
CspBooleanExpr[] expressions)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponexpressions - Array of expressions that the generic expression wraps
public CspGenericBooleanExpr genericBoolean(java.lang.String name,
CspGenericIndex index,
CspBooleanExpr[] expressions)
name - Unique name assigned to variableindex - Index variable is indexed uponexpressions - Array of expressions that the generic expression wraps
public CspGenericBooleanExpr genericBoolean(java.lang.String name,
CspGenericIndex[] indices,
CspConstraint constraint)
name - Unique name assigned to variableindices - Array of indices variable is indexed uponconstraint - Constraint that wrapped by the generic expression
public CspGenericBooleanExpr genericBoolean(java.lang.String name,
CspGenericIndex index,
CspConstraint constraint)
name - Unique name assigned to variableindex - Index variable is indexed uponconstraint - Constraint that wrapped by the generic expression
public CspBooleanVariable booleanVar(java.lang.String name,
CspConstraint constraint)
name - Name of the new variableconstraint - Constraint that boolean variable will represent
public CspBooleanVariable booleanVar(java.lang.String name,
CspBooleanExpr expr)
name - Unique name assigned to variableexpr - Expression that variable is based upon
public CspBooleanVariable booleanVar(java.lang.String name)
name - Name of the new variable
public CspGenericIntConstant genericIntConst(java.lang.String name,
CspGenericIndex[] indices,
java.lang.Integer[] nodes)
name - Name of the new constantindices - Array of indices variable is indexed uponnodes - Array of Integer objects containing the values for the constants
public CspGenericIntConstant genericIntConst(java.lang.String name,
CspGenericIndex[] indices,
int[] nodes)
name - Name of the new constantindices - Array of indices variable is indexed uponnodes - Array of ints containing the values for the constants
public CspGenericDoubleConstant genericDoubleConst(java.lang.String name,
CspGenericIndex[] indices,
java.lang.Double[] nodes)
name - Name of the new constantindices - Array of indices variable is indexed uponnodes - Array of Double objects containing the values for the constants
public CspGenericDoubleConstant genericDoubleConst(java.lang.String name,
CspGenericIndex[] indices,
double[] nodes)
name - Name of the new constantindices - Array of indices variable is indexed uponnodes - Array of doubles containing the values for the constants
public CspGenericFloatConstant genericFloatConst(java.lang.String name,
CspGenericIndex[] indices,
java.lang.Float[] nodes)
name - Name of the new constantindices - Array of indices variable is indexed uponnodes - Array of Float objects containing the values for the constants
public CspGenericFloatConstant genericFloatConst(java.lang.String name,
CspGenericIndex[] indices,
float[] nodes)
name - Name of the new constantindices - Array of indices variable is indexed uponnodes - Array of floats containing the values for the constants
public CspGenericLongConstant genericLongConst(java.lang.String name,
CspGenericIndex[] indices,
java.lang.Long[] nodes)
name - Name of the new constantindices - Array of indices variable is indexed uponnodes - Array of Long objects containing the values for the constants
public CspGenericLongConstant genericLongConst(java.lang.String name,
CspGenericIndex[] indices,
long[] nodes)
name - Name of the new constantindices - Array of indices variable is indexed uponnodes - Array of longs containing the values for the constants
public CspGenericBooleanConstant genericBooleanConst(java.lang.String name,
CspGenericIndex[] indices,
boolean[] nodes)
name - Name of the new constantindices - Array of booleans constant is indexed uponnodes - Array of longs containing the values for the constants
public CspGenericIntConstant genericIntConst(java.lang.String name,
CspGenericIndex index,
java.lang.Integer[] nodes)
name - Name of the new constantindex - Index variable is indexed uponnodes - Array of Integer objects containing the values for the constants
public CspGenericIntConstant genericIntConst(java.lang.String name,
CspGenericIndex index,
int[] nodes)
name - Name of the new constantindex - Index variable is indexed uponnodes - Array of ints containing the values for the constants
public CspGenericDoubleConstant genericDoubleConst(java.lang.String name,
CspGenericIndex index,
java.lang.Double[] nodes)
name - Name of the new constantindex - Index variable is indexed uponnodes - Array of Double objects containing the values for the constants
public CspGenericDoubleConstant genericDoubleConst(java.lang.String name,
CspGenericIndex index,
double[] nodes)
name - Name of the new constantindex - Index variable is indexed uponnodes - Array of doubles containing the values for the constants
public CspGenericFloatConstant genericFloatConst(java.lang.String name,
CspGenericIndex index,
java.lang.Float[] nodes)
name - Name of the new constantindex - Index variable is indexed uponnodes - Array of Float objects containing the values for the constants
public CspGenericFloatConstant genericFloatConst(java.lang.String name,
CspGenericIndex index,
float[] nodes)
name - Name of the new constantindex - Index variable is indexed uponnodes - Array of floats containing the values for the constants
public CspGenericLongConstant genericLongConst(java.lang.String name,
CspGenericIndex index,
java.lang.Long[] nodes)
name - Name of the new constantindex - Index variable is indexed uponnodes - Array of Long objects containing the values for the constants
public CspGenericLongConstant genericLongConst(java.lang.String name,
CspGenericIndex index,
long[] nodes)
name - Name of the new constantindex - Index variable is indexed uponnodes - Array of longs containing the values for the constants
public CspGenericBooleanConstant genericBooleanConst(java.lang.String name,
CspGenericIndex index,
boolean[] nodes)
name - Name of the new constantindex - Index variable is indexed uponnodes - Array of longs containing the values for the constants
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||