- plus(int) - Method in interface javax.constraints.Var
-
Returns a new Var that is constrained to be the sum of this
variable and the given value, i.e.
- plus(Var) - Method in interface javax.constraints.Var
-
Returns a new Var that is constrained to be the sum of this
variable and the given variable, i.e.
- plus(double) - Method in interface javax.constraints.VarReal
-
Adds and returns a new VarReal that is constrained to be the sum of this variable
and the given value, i.e.
- plus(VarReal) - Method in interface javax.constraints.VarReal
-
Adds and returns a new VarReal that is constrained to be the sum of this variable
and the given variable, i.e.
- plus(int) - Method in interface javax.constraints.VarReal
-
Adds and returns a new VarReal that is constrained to be the sum of this variable
and the given value, i.e.
- plus(Var) - Method in interface javax.constraints.VarReal
-
Adds and returns a new VarReal that is constrained to be the sum of this variable
and the given variable, i.e.
- post() - Method in interface javax.constraints.Constraint
-
This method is used to post the
constraint.
- post(ConsistencyLevel) - Method in interface javax.constraints.Constraint
-
This method is used to post the constraint.
- post(String, Probability) - Method in interface javax.constraints.Constraint
-
This method is used to post the constraint assuming that it can be violated.
- post(String, String) - Method in interface javax.constraints.Problem
-
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.
- post(Var, String, int) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint: var "oper" value
- post(Var, String, Var) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint: var1 "oper" var2
- post(VarReal, String, int) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint: var "oper" integer value
- post(VarReal, String, double) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint: var "oper" double value
- post(VarReal, String, VarReal) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint: var1 "oper" var2
- post(VarReal, String, Var) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint: var1 "oper" var2
- post(Var, String, VarReal) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint: var1 "oper" var2
- post(Constraint) - Method in interface javax.constraints.Problem
-
Posts the constraint "c".
- post(VarString, String, String) - Method in interface javax.constraints.Problem
-
- post(VarString, String, VarString) - Method in interface javax.constraints.Problem
-
- post(String, String) - Method in class javax.constraints.ProblemDelegator
-
- post(int[], ArrayList<Var>, String, int) - Method in class javax.constraints.ProblemDelegator
-
- post(Var[], String, int) - Method in class javax.constraints.ProblemDelegator
-
- post(Var[], String, Var) - Method in class javax.constraints.ProblemDelegator
-
- post(Var, Var, String, int) - Method in class javax.constraints.ProblemDelegator
-
- post(Var, Var, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- post(Var, String, int) - Method in class javax.constraints.ProblemDelegator
-
- post(Var, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- post(Constraint) - Method in class javax.constraints.ProblemDelegator
-
- post(VarString, String, String) - Method in class javax.constraints.ProblemDelegator
-
- post(VarString, String, VarString) - Method in class javax.constraints.ProblemDelegator
-
- post(ArrayList<Var>, String, int) - Method in class javax.constraints.ProblemDelegator
-
- post(ArrayList<Var>, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- post(VarReal, String, int) - Method in class javax.constraints.ProblemDelegator
-
- post(VarReal, String, VarReal) - Method in class javax.constraints.ProblemDelegator
-
- post(VarReal, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- post(Var, String, VarReal) - Method in class javax.constraints.ProblemDelegator
-
- post(double[], Var[], String, double) - Method in class javax.constraints.ProblemDelegator
-
- post(double[], VarReal[], String, VarReal) - Method in class javax.constraints.ProblemDelegator
-
- post(double[], VarReal[], String, double) - Method in class javax.constraints.ProblemDelegator
-
- post(VarReal, String, double) - Method in class javax.constraints.ProblemDelegator
-
- post(VarReal[], String, double) - Method in class javax.constraints.ProblemDelegator
-
- post(VarReal[], String, VarReal) - Method in class javax.constraints.ProblemDelegator
-
- post(double[], ConstrainedVariable[], String, ConstrainedVariable) - Method in class javax.constraints.ProblemDelegator
-
- post(double[], ConstrainedVariable[], String, double) - Method in class javax.constraints.ProblemDelegator
-
- post(int[][]) - Method in interface javax.constraints.VarMatrix
-
- post(int, int, int) - Method in interface javax.constraints.VarMatrix
-
- postAllDiff(Var[]) - Method in interface javax.constraints.Problem
-
This constraint is a synonym for postAllDifferent
- postAllDiff(ArrayList<Var>) - Method in interface javax.constraints.Problem
-
Similar to postAllDiff for variables saved in the ArrayList vars
- postAllDiff(VarString[]) - Method in interface javax.constraints.Problem
-
Posts allDiff constraint for an array of VarString variables
- postAllDiff(Var[]) - Method in class javax.constraints.ProblemDelegator
-
- postAllDiff(ArrayList<Var>) - Method in class javax.constraints.ProblemDelegator
-
- postAllDiff(VarString[]) - Method in class javax.constraints.ProblemDelegator
-
- postAllDifferent(Var[]) - Method in interface javax.constraints.Problem
-
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.
- postAllDifferent(ArrayList<Var>) - Method in interface javax.constraints.Problem
-
Similar to postAllDifferent for variables saved in the ArrayList vars
- postAllDifferent(Var[]) - Method in class javax.constraints.ProblemDelegator
-
- postAllDifferent(ArrayList<Var>) - Method in class javax.constraints.ProblemDelegator
-
- postAnd(Constraint, Constraint) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint an "AND" Constraint.
- postAnd(Constraint, Constraint) - Method in class javax.constraints.ProblemDelegator
-
- postCardinality(Var[], int, String, int) - Method in interface javax.constraints.Problem
-
This method creates and posts a new cardinality constraint
“cardinality(vars,cardValue) 'oper' value”.
- postCardinality(ArrayList<Var>, int, String, int) - Method in interface javax.constraints.Problem
-
- postCardinality(Var[], int, String, Var) - Method in interface javax.constraints.Problem
-
This method is similar to the one above but instead of “value”
the “cardinality(vars,cardValue)” is being constrained by “var”.
- postCardinality(ArrayList<Var>, int, String, Var) - Method in interface javax.constraints.Problem
-
- postCardinality(Var[], Var, String, Var) - Method in interface javax.constraints.Problem
-
This method is similar to the one above but instead of “cardValue”
it uses "cardVar"
- postCardinality(ArrayList<Var>, Var, String, Var) - Method in interface javax.constraints.Problem
-
- postCardinality(Var[], Var, String, int) - Method in interface javax.constraints.Problem
-
This method is similar to the one above but instead of “var”
it uses "value"
- postCardinality(ArrayList<Var>, Var, String, int) - Method in interface javax.constraints.Problem
-
- postCardinality(ArrayList<Var>, int, String, int) - Method in class javax.constraints.ProblemDelegator
-
- postCardinality(Var[], int, String, int) - Method in class javax.constraints.ProblemDelegator
-
- postCardinality(Var[], int, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- postCardinality(Var[], Var, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- postCardinality(Var[], Var, String, int) - Method in class javax.constraints.ProblemDelegator
-
- postCardinality(ArrayList<Var>, int, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- postCardinality(ArrayList<Var>, Var, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- postCardinality(ArrayList<Var>, Var, String, int) - Method in class javax.constraints.ProblemDelegator
-
- postElement(int[], Var, String, int) - Method in interface javax.constraints.Problem
-
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".
- postElement(int[], Var, String, Var) - Method in interface javax.constraints.Problem
-
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".
- postElement(Var[], Var, String, int) - Method in interface javax.constraints.Problem
-
Posts a constraint: vars[indexVar] 'oper' value
- postElement(Var[], Var, String, Var) - Method in interface javax.constraints.Problem
-
Posts a new constraint: vars[indexVar] 'oper' var
- postElement(Set[], Var, String, VarSet) - Method in interface javax.constraints.Problem
-
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".
- postElement(int[], Var, String, int) - Method in class javax.constraints.ProblemDelegator
-
- postElement(int[], Var, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- postElement(Var[], Var, String, int) - Method in class javax.constraints.ProblemDelegator
-
- postElement(Var[], Var, String, Var) - Method in class javax.constraints.ProblemDelegator
-
- postElement(Set[], Var, String, VarSet) - Method in class javax.constraints.ProblemDelegator
-
- postGlobalCardinality(Var[], int[], Var[]) - Method in interface javax.constraints.Problem
-
Creates and posts a new global cardinality constraint that states:
- postGlobalCardinality(ArrayList<Var>, int[], Var[]) - Method in interface javax.constraints.Problem
-
- postGlobalCardinality(Var[], int[], int[], int[]) - Method in interface javax.constraints.Problem
-
Creates and posts a new global cardinality constraint that states:
- postGlobalCardinality(ArrayList<Var>, int[], int[], int[]) - Method in interface javax.constraints.Problem
-
- postGlobalCardinality(Var[], int[], Var[]) - Method in class javax.constraints.ProblemDelegator
-
- postGlobalCardinality(Var[], int[], int[], int[]) - Method in class javax.constraints.ProblemDelegator
-
- postGlobalCardinality(ArrayList<Var>, int[], Var[]) - Method in class javax.constraints.ProblemDelegator
-
- postGlobalCardinality(ArrayList<Var>, int[], int[], int[]) - Method in class javax.constraints.ProblemDelegator
-
- postIfThen(Constraint, Constraint) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint that states the implication: if constraint1 then constraint2.
- postIfThen(VarBool, VarBool) - Method in interface javax.constraints.Problem
-
Returns a Constraint that states the implication:
"if boolean variable var1 is true then boolean variable var2 is also true"
- postIfThen(Constraint, Constraint) - Method in class javax.constraints.ProblemDelegator
-
- postIfThen(VarBool, VarBool) - Method in class javax.constraints.ProblemDelegator
-
- postMax(Var[], String, Var) - Method in interface javax.constraints.Problem
-
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.
- postMax(Var[], String, int) - Method in interface javax.constraints.Problem
-
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.
- postMax(Var[], String, Var) - Method in class javax.constraints.ProblemDelegator
-
- postMax(Var[], String, int) - Method in class javax.constraints.ProblemDelegator
-
- postMin(Var[], String, Var) - Method in interface javax.constraints.Problem
-
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.
- postMin(Var[], String, int) - Method in interface javax.constraints.Problem
-
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.
- postMin(Var[], String, Var) - Method in class javax.constraints.ProblemDelegator
-
- postMin(Var[], String, int) - Method in class javax.constraints.ProblemDelegator
-
- postOr(Constraint, Constraint) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint an "OR" Constraint.
- postOr(Constraint, Constraint) - Method in class javax.constraints.ProblemDelegator
-
- postScalProd(Var, String, int[], Var[]) - Method in interface javax.constraints.Problem
-
Creates and posts a constraint: var "oper" scalProd(arrayOfValues,arrayOfVariables)
- postScalProd(Var, String, int[], Var[]) - Method in class javax.constraints.ProblemDelegator
-
- power(int) - Method in interface javax.constraints.Var
-
Returns a new Var that is constrained to be this variable raised
to the power of the given value, i.e.
- power(double) - Method in interface javax.constraints.VarReal
-
Adds and returns a new VarReal that is constrained to be this variable raised to the power of the given value,
i.e.
- power(int) - Method in interface javax.constraints.VarReal
-
Adds and returns a new VarReal that is constrained to be this variable raised to the power of the given value,
i.e.
- Probability - Enum in javax.constraints
-
- Problem - Interface in javax.constraints
-
A constraint satisfaction problem Problem can be defined in terms of constrained
variables and constraints.
- ProblemDelegator - Class in javax.constraints
-
- ProblemDelegator(Problem) - Constructor for class javax.constraints.ProblemDelegator
-
- ProblemFactory - Class in javax.constraints
-
- ProblemFactory() - Constructor for class javax.constraints.ProblemFactory
-
- ProblemState - Enum in javax.constraints
-