|
|||||||||||
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 domainpublic 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 |