Modifier and Type | Method and Description |
---|---|
VarBool |
ProblemDelegator.add(VarBool var) |
VarBool |
Problem.add(VarBool var)
Adds a VarBool variable "var" to the problem, and returns the newly added VarBool.
|
VarBool |
Constraint.asBool()
This method returns a Var variable that is equal 1 if the constraint
is satisfied and equals 0 if it is violated.
|
VarBool[] |
ProblemDelegator.getVarBools() |
VarBool[] |
Problem.getVarBools()
Returns an array containing the VarBool variables previously added to the problem.
|
VarBool |
ProblemDelegator.variableBool() |
VarBool |
Problem.variableBool()
Creates a boolean constrained variable without name.
|
VarBool |
ProblemDelegator.variableBool(java.lang.String name) |
VarBool |
Problem.variableBool(java.lang.String name)
Creates a boolean constrained variable with the name "name" and adds
this variable to the problem, and returns the newly added VarBool.
|
Modifier and Type | Method and Description |
---|---|
VarBool |
ProblemDelegator.add(VarBool var) |
VarBool |
Problem.add(VarBool var)
Adds a VarBool variable "var" to the problem, and returns the newly added VarBool.
|
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"
|