| Modifier and Type | Method and Description |
|---|---|
Constraint |
ProblemDelegator.add(Constraint constraint) |
Constraint |
Problem.add(Constraint constraint)
Adds a Constraint "constraint" to the problem, then returns the constraint.
|
Constraint |
ProblemDelegator.allDiff(java.util.ArrayList<Var> vars) |
Constraint |
Problem.allDiff(java.util.ArrayList<Var> vars)
This method create a new Constraint stating that all of the elements of
the list of variables "vars" must take different values from each other.
|
Constraint |
ProblemDelegator.allDiff(Var[] vars) |
Constraint |
Problem.allDiff(Var[] vars)
This method create a new Constraint stating that all of the elements of
the array of variables "vars" must take different values from each other.
|
Constraint |
Constraint.and(Constraint c)
Returns an "AND" Constraint.
|
Constraint |
ProblemDelegator.getConstraint(java.lang.String name) |
Constraint |
Problem.getConstraint(java.lang.String name)
Returns the Constraint the name "name", or null if no such constraints exists in the problem.
|
Constraint[] |
ProblemDelegator.getConstraints() |
Constraint[] |
Problem.getConstraints()
Returns an array of Constraints previously added to the problem.
|
Constraint |
ProblemDelegator.getFalseConstraint() |
Constraint |
Problem.getFalseConstraint()
Returns the constant constraint that always will fail when it is posted or executed.
|
Constraint |
ProblemDelegator.getTrueConstraint() |
Constraint |
Problem.getTrueConstraint()
Returns the constant constraint that always succeeds when it is posted or executed.
|
Constraint |
Constraint.implies(Constraint c)
Returns a Constraint that states the implication: if this then c.
|
Constraint |
ProblemDelegator.linear(Var var,
java.lang.String oper,
int value) |
Constraint |
Problem.linear(Var var,
java.lang.String oper,
int value)
Creates a constraint: var "oper" value without posting
|
Constraint |
ProblemDelegator.linear(VarString var,
java.lang.String oper,
java.lang.String value) |
Constraint |
Problem.linear(VarString var,
java.lang.String oper,
java.lang.String value) |
Constraint |
ProblemDelegator.linear(VarString var1,
java.lang.String oper,
VarString var2) |
Constraint |
Problem.linear(VarString var1,
java.lang.String oper,
VarString var2) |
Constraint |
ProblemDelegator.linear(Var var1,
java.lang.String oper,
Var var2) |
Constraint |
Problem.linear(Var var1,
java.lang.String oper,
Var var2)
Creates a constraint: var1 "oper" var2 without posting
|
Constraint |
Constraint.negation()
Returns a Constraint that is satisfied if and only if this constraint is not satisfied.
|
Constraint |
Constraint.or(Constraint c)
Returns an "OR" Constraint.
|
Constraint |
ProblemDelegator.post(java.util.ArrayList<Var> vars,
java.lang.String oper,
int value) |
Constraint |
Problem.post(java.util.ArrayList<Var> vars,
java.lang.String oper,
int value)
Deprecated.
|
Constraint |
ProblemDelegator.post(java.util.ArrayList<Var> vars,
java.lang.String oper,
Var var) |
Constraint |
Problem.post(java.util.ArrayList<Var> vars,
java.lang.String oper,
Var var)
Deprecated.
|
Constraint |
ProblemDelegator.post(double[] array,
ConstrainedVariable[] vars,
java.lang.String oper,
ConstrainedVariable var) |
Constraint |
Problem.post(double[] array,
ConstrainedVariable[] vars,
java.lang.String oper,
ConstrainedVariable var)
Deprecated.
|
Constraint |
ProblemDelegator.post(double[] array,
ConstrainedVariable[] vars,
java.lang.String oper,
double value) |
Constraint |
Problem.post(double[] array,
ConstrainedVariable[] vars,
java.lang.String oper,
double value)
Deprecated.
|
Constraint |
ProblemDelegator.post(double[] coefficients,
Var[] vars,
java.lang.String oper,
double value) |
Constraint |
ProblemDelegator.post(double[] array,
VarReal[] vars,
java.lang.String oper,
double value) |
Constraint |
Problem.post(double[] array,
VarReal[] vars,
java.lang.String oper,
double value)
Deprecated.
|
Constraint |
ProblemDelegator.post(double[] array,
VarReal[] vars,
java.lang.String oper,
VarReal var) |
Constraint |
Problem.post(double[] array,
VarReal[] vars,
java.lang.String oper,
VarReal var)
Deprecated.
|
Constraint |
ProblemDelegator.post(int[] array,
java.util.ArrayList<Var> vars,
java.lang.String oper,
int value) |
Constraint |
Problem.post(int[] array,
java.util.ArrayList<Var> vars,
java.lang.String oper,
int value)
Deprecated.
|
Constraint |
ProblemDelegator.post(int[] array,
Var[] vars,
java.lang.String oper,
int value)
Deprecated.
|
Constraint |
Problem.post(int[] array,
Var[] vars,
java.lang.String oper,
int value)
Deprecated.
|
Constraint |
ProblemDelegator.post(int[] array,
Var[] vars,
java.lang.String oper,
Var var)
Deprecated.
|
Constraint |
Problem.post(int[] array,
Var[] vars,
java.lang.String oper,
Var var)
Deprecated.
|
Constraint |
ProblemDelegator.post(java.lang.String name,
java.lang.String symbolicExpression) |
Constraint |
Problem.post(java.lang.String name,
java.lang.String symbolicExpression)
Creates a Constraint based on the symbolicExpression such as "x*y-z = 3*r",
adds this constraint to the problem, and returns the newly added Constraint.
|
Constraint |
ProblemDelegator.post(Var[] vars,
java.lang.String oper,
int value) |
Constraint |
Problem.post(Var[] vars,
java.lang.String oper,
int value)
Deprecated.
|
Constraint |
ProblemDelegator.post(Var[] vars,
java.lang.String oper,
Var var) |
Constraint |
Problem.post(Var[] vars,
java.lang.String oper,
Var var)
Deprecated.
|
Constraint |
ProblemDelegator.post(VarReal[] vars,
java.lang.String oper,
double value) |
Constraint |
Problem.post(VarReal[] vars,
java.lang.String oper,
double value)
Deprecated.
|
Constraint |
ProblemDelegator.post(VarReal[] vars,
java.lang.String oper,
VarReal var) |
Constraint |
Problem.post(VarReal[] vars,
java.lang.String oper,
VarReal var)
Deprecated.
|
Constraint |
ProblemDelegator.post(VarReal var,
java.lang.String oper,
double value) |
Constraint |
Problem.post(VarReal var,
java.lang.String oper,
double value)
Creates and posts a constraint: var "oper" double value
|
Constraint |
ProblemDelegator.post(VarReal var,
java.lang.String oper,
int value) |
Constraint |
Problem.post(VarReal var,
java.lang.String oper,
int value)
Creates and posts a constraint: var "oper" integer value
|
Constraint |
ProblemDelegator.post(VarReal var1,
java.lang.String oper,
Var var2) |
Constraint |
Problem.post(VarReal var1,
java.lang.String oper,
Var var2)
Creates and posts a constraint: var1 "oper" var2
|
Constraint |
ProblemDelegator.post(VarReal var1,
java.lang.String oper,
VarReal var2) |
Constraint |
Problem.post(VarReal var1,
java.lang.String oper,
VarReal var2)
Creates and posts a constraint: var1 "oper" var2
|
Constraint |
ProblemDelegator.post(Var var,
java.lang.String oper,
int value) |
Constraint |
Problem.post(Var var,
java.lang.String oper,
int value)
Creates and posts a constraint: var "oper" value
|
Constraint |
ProblemDelegator.post(VarString var,
java.lang.String oper,
java.lang.String value) |
Constraint |
Problem.post(VarString var,
java.lang.String oper,
java.lang.String value) |
Constraint |
ProblemDelegator.post(VarString var1,
java.lang.String oper,
VarString var2) |
Constraint |
Problem.post(VarString var1,
java.lang.String oper,
VarString var2) |
Constraint |
ProblemDelegator.post(Var var1,
java.lang.String oper,
Var var2) |
Constraint |
Problem.post(Var var1,
java.lang.String oper,
Var var2)
Creates and posts a constraint: var1 "oper" var2
|
Constraint |
ProblemDelegator.post(Var var1,
java.lang.String oper,
VarReal var2) |
Constraint |
Problem.post(Var var1,
java.lang.String oper,
VarReal var2)
Creates and posts a constraint: var1 "oper" var2
|
Constraint |
ProblemDelegator.post(Var var1,
Var var2,
java.lang.String oper,
int value) |
Constraint |
Problem.post(Var var1,
Var var2,
java.lang.String oper,
int value)
Deprecated.
|
Constraint |
ProblemDelegator.post(Var var1,
Var var2,
java.lang.String oper,
Var var) |
Constraint |
Problem.post(Var var1,
Var var2,
java.lang.String oper,
Var var)
Deprecated.
|
Constraint |
ProblemDelegator.postAllDiff(java.util.ArrayList<Var> vars) |
Constraint |
Problem.postAllDiff(java.util.ArrayList<Var> vars)
Similar to postAllDiff for variables saved in the ArrayList vars
|
Constraint |
ProblemDelegator.postAllDiff(Var[] vars) |
Constraint |
Problem.postAllDiff(Var[] vars)
This constraint is a synonym for postAllDifferent
|
Constraint |
ProblemDelegator.postAllDiff(VarString[] varStrings) |
Constraint |
Problem.postAllDiff(VarString[] varStrings)
Posts allDiff constraint for an array of VarString variables
|
Constraint |
ProblemDelegator.postAllDifferent(java.util.ArrayList<Var> vars) |
Constraint |
Problem.postAllDifferent(java.util.ArrayList<Var> vars)
Similar to postAllDifferent for variables saved in the ArrayList vars
|
Constraint |
ProblemDelegator.postAllDifferent(Var[] vars) |
Constraint |
Problem.postAllDifferent(Var[] vars)
Creates and posts a new Constraint stating that all of the elements of
the array of variables "vars" must take different values from each other.
|
Constraint |
ProblemDelegator.postAnd(Constraint c1,
Constraint c2) |
Constraint |
Problem.postAnd(Constraint c1,
Constraint c2)
Creates and posts a constraint an "AND" Constraint.
|
Constraint |
ProblemDelegator.postCardinality(java.util.ArrayList<Var> vars,
int cardValue,
java.lang.String oper,
int value) |
Constraint |
Problem.postCardinality(java.util.ArrayList<Var> vars,
int cardValue,
java.lang.String oper,
int value) |
Constraint |
ProblemDelegator.postCardinality(java.util.ArrayList<Var> vars,
int cardValue,
java.lang.String oper,
Var var) |
Constraint |
Problem.postCardinality(java.util.ArrayList<Var> vars,
int cardValue,
java.lang.String oper,
Var var) |
Constraint |
ProblemDelegator.postCardinality(java.util.ArrayList<Var> vars,
Var cardVar,
java.lang.String oper,
int value) |
Constraint |
Problem.postCardinality(java.util.ArrayList<Var> vars,
Var cardVar,
java.lang.String oper,
int value) |
Constraint |
ProblemDelegator.postCardinality(java.util.ArrayList<Var> vars,
Var cardVar,
java.lang.String oper,
Var var) |
Constraint |
Problem.postCardinality(java.util.ArrayList<Var> vars,
Var cardVar,
java.lang.String oper,
Var var) |
Constraint |
ProblemDelegator.postCardinality(Var[] vars,
int cardValue,
java.lang.String oper,
int value) |
Constraint |
Problem.postCardinality(Var[] vars,
int cardValue,
java.lang.String oper,
int value)
This method creates and posts a new cardinality constraint
“cardinality(vars,cardValue) 'oper' value”.
|
Constraint |
ProblemDelegator.postCardinality(Var[] vars,
int cardValue,
java.lang.String oper,
Var var) |
Constraint |
Problem.postCardinality(Var[] vars,
int cardValue,
java.lang.String oper,
Var var)
This method is similar to the one above but instead of “value”
the “cardinality(vars,cardValue)” is being constrained by “var”.
|
Constraint |
ProblemDelegator.postCardinality(Var[] vars,
Var cardVar,
java.lang.String oper,
int value) |
Constraint |
Problem.postCardinality(Var[] vars,
Var cardVar,
java.lang.String oper,
int value)
This method is similar to the one above but instead of “var”
it uses "value"
|
Constraint |
ProblemDelegator.postCardinality(Var[] vars,
Var cardVar,
java.lang.String oper,
Var var) |
Constraint |
Problem.postCardinality(Var[] vars,
Var cardVar,
java.lang.String oper,
Var var)
This method is similar to the one above but instead of “cardValue”
it uses "cardVar"
|
Constraint |
ProblemDelegator.postElement(int[] array,
Var indexVar,
java.lang.String oper,
int value) |
Constraint |
Problem.postElement(int[] array,
Var indexVar,
java.lang.String oper,
int value)
Creates and posts a new constraint: array[indexVar] 'oper' value
Here "array[indexVar]" denotes a constrained integer variable, which domain
consists of integers array[i] where i is within domain of the "indexVar".
|
Constraint |
ProblemDelegator.postElement(int[] array,
Var indexVar,
java.lang.String oper,
Var var) |
Constraint |
Problem.postElement(int[] array,
Var indexVar,
java.lang.String oper,
Var var)
Creates and posts a constraint: array[indexVar] 'oper' var
Here "array[indexVar]" denotes a constrained integer variable, which domain
consists of integers array[i] where i is within domain of the "indexVar".
|
Constraint |
ProblemDelegator.postElement(java.util.Set[] arrayOfSets,
Var indexVar,
java.lang.String oper,
VarSet var) |
Constraint |
Problem.postElement(java.util.Set[] arrayOfSets,
Var indexVar,
java.lang.String oper,
VarSet var)
Creates and posts a constraint: arrayOfSets[indexVar] 'oper' setVar
Here "arrayOfSets[indexVar]" denotes a constrained set variable, which domain
consists of sets of integers arrayOfSets[i] where i is within domain of the "indexVar".
|
Constraint |
ProblemDelegator.postElement(Var[] vars,
Var indexVar,
java.lang.String oper,
int value) |
Constraint |
Problem.postElement(Var[] vars,
Var indexVar,
java.lang.String oper,
int value)
Posts a constraint: vars[indexVar] 'oper' value
|
Constraint |
ProblemDelegator.postElement(Var[] vars,
Var indexVar,
java.lang.String oper,
Var var) |
Constraint |
Problem.postElement(Var[] vars,
Var indexVar,
java.lang.String oper,
Var var)
Posts a new constraint: vars[indexVar] 'oper' var
|
Constraint |
ProblemDelegator.postGlobalCardinality(java.util.ArrayList<Var> vars,
int[] values,
int[] cardMin,
int[] cardMax) |
Constraint |
Problem.postGlobalCardinality(java.util.ArrayList<Var> vars,
int[] values,
int[] cardMin,
int[] cardMax) |
Constraint |
ProblemDelegator.postGlobalCardinality(java.util.ArrayList<Var> vars,
int[] values,
Var[] cardinalityVars) |
Constraint |
Problem.postGlobalCardinality(java.util.ArrayList<Var> vars,
int[] values,
Var[] cardinalityVars) |
Constraint |
ProblemDelegator.postGlobalCardinality(Var[] vars,
int[] values,
int[] cardMin,
int[] cardMax) |
Constraint |
Problem.postGlobalCardinality(Var[] vars,
int[] values,
int[] cardMin,
int[] cardMax)
Creates and posts a new global cardinality constraint that states:
|
Constraint |
ProblemDelegator.postGlobalCardinality(Var[] vars,
int[] values,
Var[] cardinalityVars) |
Constraint |
Problem.postGlobalCardinality(Var[] vars,
int[] values,
Var[] cardinalityVars)
Creates and posts a new global cardinality constraint that states:
|
Constraint |
ProblemDelegator.postIfThen(Constraint constraint1,
Constraint constraint2) |
Constraint |
Problem.postIfThen(Constraint constraint1,
Constraint constraint2)
Creates and posts a constraint that states the implication: if constraint1 then constraint2.
|
Constraint |
ProblemDelegator.postIfThen(VarBool var1,
VarBool var2) |
Constraint |
Problem.postIfThen(VarBool var1,
VarBool var2)
Returns a Constraint that states the implication:
"if boolean variable var1 is true then boolean variable var2 is also true"
|
Constraint |
ProblemDelegator.postMax(Var[] vars,
java.lang.String oper,
int value) |
Constraint |
Problem.postMax(Var[] vars,
java.lang.String oper,
int value)
Creates and posts a constraint: max(vars) "oper" value
where max(vars) is a maximal variable in the array "vars"
when they are all instantiated.
|
Constraint |
ProblemDelegator.postMax(Var[] vars,
java.lang.String oper,
Var var) |
Constraint |
Problem.postMax(Var[] vars,
java.lang.String oper,
Var var)
Creates and posts a constraint: max(vars) "oper" var
where max(vars) is a maximal variable in the array "vars"
when they are all instantiated.
|
Constraint |
ProblemDelegator.postMin(Var[] vars,
java.lang.String oper,
int value) |
Constraint |
Problem.postMin(Var[] vars,
java.lang.String oper,
int value)
Creates and posts a constraint: min(vars) "oper" value
where max(vars) is a minimal variable in the array "vars"
when they are all instantiated.
|
Constraint |
ProblemDelegator.postMin(Var[] vars,
java.lang.String oper,
Var var) |
Constraint |
Problem.postMin(Var[] vars,
java.lang.String oper,
Var var)
Creates and posts a constraint: min(vars) "oper" var
where max(vars) is a minimal variable in the array "vars"
when they are all instantiated.
|
Constraint |
ProblemDelegator.postOr(Constraint c1,
Constraint c2) |
Constraint |
Problem.postOr(Constraint c1,
Constraint c2)
Creates and posts a constraint an "OR" Constraint.
|
Constraint |
ProblemDelegator.postScalProd(Var var,
java.lang.String oper,
int[] arrayOfValues,
Var[] arrayOfVariables) |
Constraint |
Problem.postScalProd(Var var,
java.lang.String oper,
int[] arrayOfValues,
Var[] arrayOfVariables)
Creates and posts a constraint: var "oper" scalProd(arrayOfValues,arrayOfVariables)
|
| Modifier and Type | Method and Description |
|---|---|
Constraint |
ProblemDelegator.add(Constraint constraint) |
Constraint |
Problem.add(Constraint constraint)
Adds a Constraint "constraint" to the problem, then returns the constraint.
|
Constraint |
Constraint.and(Constraint c)
Returns an "AND" Constraint.
|
Constraint |
Constraint.implies(Constraint c)
Returns a Constraint that states the implication: if this then c.
|
Constraint |
Constraint.or(Constraint c)
Returns an "OR" Constraint.
|
void |
ProblemDelegator.post(Constraint c) |
void |
Problem.post(Constraint c)
Posts the constraint "c".
|
Constraint |
ProblemDelegator.postAnd(Constraint c1,
Constraint c2) |
Constraint |
Problem.postAnd(Constraint c1,
Constraint c2)
Creates and posts a constraint an "AND" Constraint.
|
Constraint |
ProblemDelegator.postIfThen(Constraint constraint1,
Constraint constraint2) |
Constraint |
Problem.postIfThen(Constraint constraint1,
Constraint constraint2)
Creates and posts a constraint that states the implication: if constraint1 then constraint2.
|
Constraint |
ProblemDelegator.postOr(Constraint c1,
Constraint c2) |
Constraint |
Problem.postOr(Constraint c1,
Constraint c2)
Creates and posts a constraint an "OR" Constraint.
|