Modifier and Type | Method and Description |
---|---|
default boolean |
addClauseFalse(BoolVar BOOLVAR)
Add a unit clause stating that BOOLVAR must be false
|
default boolean |
addClauses(BoolVar[] POSLITS,
BoolVar[] NEGLITS)
Ensures that the clause defined by POSLITS and NEGLITS is satisfied.
|
default boolean |
addClauses(LogOp TREE)
Ensures that the clauses defined in the Boolean logic formula TREE are satisfied.
|
default boolean |
addClausesAtMostNMinusOne(BoolVar[] BOOLVARS)
Add a clause stating that: ∑ BOOLVARSi ≤ n-1
|
default boolean |
addClausesAtMostOne(BoolVar[] BOOLVARS)
Add a clause stating that: ∑ BOOLVARSi ≤ 1
|
default boolean |
addClausesBoolAndArrayEqualFalse(BoolVar[] BOOLVARS)
Add a clause stating that: BOOLVARS1∧BOOLVARS2∧...
|
default boolean |
addClausesBoolAndArrayEqVar(BoolVar[] BOOLVARS,
BoolVar TARGET)
Add a clause stating that: (BOOLVARS1∧BOOLVARS2∧...
|
default boolean |
addClausesBoolAndEqVar(BoolVar LEFT,
BoolVar RIGHT,
BoolVar TARGET)
Add a clause stating that: (LEFT ∧ RIGHT) ⇔ TARGET
|
default boolean |
addClausesBoolEq(BoolVar LEFT,
BoolVar RIGHT)
Add a clause stating that: LEFT == RIGHT
|
default boolean |
addClausesBoolIsEqVar(BoolVar LEFT,
BoolVar RIGHT,
BoolVar TARGET)
Add a clause stating that: (LEFT == RIGHT) ⇔ TARGET
|
default boolean |
addClausesBoolIsLeVar(BoolVar LEFT,
BoolVar RIGHT,
BoolVar TARGET)
Add a clause stating that: (LEFT ≤ RIGHT) ⇔ TARGET
|
default boolean |
addClausesBoolIsLtVar(BoolVar LEFT,
BoolVar RIGHT,
BoolVar TARGET)
Add a clause stating that: (LEFT < RIGHT) ⇔ TARGET
|
default boolean |
addClausesBoolIsNeqVar(BoolVar LEFT,
BoolVar RIGHT,
BoolVar TARGET)
Add a clause stating that: (LEFT ≠ RIGHT) ⇔ TARGET
|
default boolean |
addClausesBoolLe(BoolVar LEFT,
BoolVar RIGHT)
Add a clause stating that: LEFT ≤ RIGHT
|
default boolean |
addClausesBoolLt(BoolVar LEFT,
BoolVar RIGHT)
Add a clause stating that: LEFT < RIGHT
|
default boolean |
addClausesBoolNot(BoolVar LEFT,
BoolVar RIGHT)
Add a clause stating that: LEFT !
|
default boolean |
addClausesBoolOrArrayEqualTrue(BoolVar[] BOOLVARS)
Add a clause stating that: BOOLVARS1∨BOOLVARS2∨...
|
default boolean |
addClausesBoolOrArrayEqVar(BoolVar[] BOOLVARS,
BoolVar TARGET)
Add a clause stating that: (BOOLVARS1∨BOOLVARS2∨...
|
default boolean |
addClausesBoolOrEqVar(BoolVar LEFT,
BoolVar RIGHT,
BoolVar TARGET)
Add a clause stating that: (LEFT ∨ RIGHT) ⇔ TARGET
|
default boolean |
addClausesBoolXorEqVar(BoolVar LEFT,
BoolVar RIGHT,
BoolVar TARGET)
Add a clause stating that: (LEFT ⊕ RIGHT) ⇔ TARGET
|
default boolean |
addClausesMaxBoolArrayLessEqVar(BoolVar[] BOOLVARS,
BoolVar TARGET)
Add a clause stating that: max(BOOLVARSi) ≤ TARGET
|
default boolean |
addClausesSumBoolArrayGreaterEqVar(BoolVar[] BOOLVARS,
BoolVar TARGET)
Add a clause stating that: sum(BOOLVARSi) ≥ TARGET
|
default boolean |
addClausesSumBoolArrayLessEqVar(BoolVar[] BOOLVARS,
BoolVar TARGET)
Add a clause stating that: sum(BOOLVARSi) ≤ TARGET
|
default boolean |
addClauseTrue(BoolVar BOOLVAR)
Add a unit clause stating that BOOLVAR must be true
|
default boolean |
addConstructiveDisjunction(Constraint... cstrs)
Make a constructive disjunction constraint
|
default boolean addClauses(LogOp TREE)
TREE
- the syntactic treedefault boolean addClauses(BoolVar[] POSLITS, BoolVar[] NEGLITS)
POSLITS
- positive literalsNEGLITS
- negative literalsdefault boolean addClauseTrue(BoolVar BOOLVAR)
BOOLVAR
- a boolean variabledefault boolean addClauseFalse(BoolVar BOOLVAR)
BOOLVAR
- a boolean variabledefault boolean addClausesBoolEq(BoolVar LEFT, BoolVar RIGHT)
LEFT
- a boolean variableRIGHT
- another boolean variabledefault boolean addClausesBoolLe(BoolVar LEFT, BoolVar RIGHT)
LEFT
- a boolean variableRIGHT
- another boolean variabledefault boolean addClausesBoolLt(BoolVar LEFT, BoolVar RIGHT)
LEFT
- a boolean variableRIGHT
- another boolean variabledefault boolean addClausesBoolNot(BoolVar LEFT, BoolVar RIGHT)
LEFT
- a boolean variableRIGHT
- another boolean variabledefault boolean addClausesBoolOrArrayEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
BOOLVARS
- a list of boolean variablesTARGET
- the reified boolean variabledefault boolean addClausesBoolAndArrayEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
BOOLVARS
- a list of boolean variablesTARGET
- the reified boolean variabledefault boolean addClausesBoolOrEqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
LEFT
- a boolean variableRIGHT
- another boolean variableTARGET
- the reified boolean variabledefault boolean addClausesBoolAndEqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
LEFT
- a boolean variableRIGHT
- another boolean variableTARGET
- the reified boolean variabledefault boolean addClausesBoolXorEqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
LEFT
- a boolean variableRIGHT
- another boolean variableTARGET
- the reified boolean variabledefault boolean addClausesBoolIsEqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
LEFT
- a boolean variableRIGHT
- another boolean variableTARGET
- the reified boolean variabledefault boolean addClausesBoolIsNeqVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
LEFT
- a boolean variableRIGHT
- another boolean variableTARGET
- the reified boolean variabledefault boolean addClausesBoolIsLeVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
LEFT
- a boolean variableRIGHT
- another boolean variableTARGET
- the reified boolean variabledefault boolean addClausesBoolIsLtVar(BoolVar LEFT, BoolVar RIGHT, BoolVar TARGET)
LEFT
- a boolean variableRIGHT
- another boolean variableTARGET
- the reified boolean variabledefault boolean addClausesBoolOrArrayEqualTrue(BoolVar[] BOOLVARS)
BOOLVARS
- a list of boolean variablesdefault boolean addClausesBoolAndArrayEqualFalse(BoolVar[] BOOLVARS)
BOOLVARS
- a list of boolean variablesdefault boolean addClausesAtMostOne(BoolVar[] BOOLVARS)
BOOLVARS
- a list of boolean variablesdefault boolean addClausesAtMostNMinusOne(BoolVar[] BOOLVARS)
BOOLVARS
- a list of boolean variablesdefault boolean addClausesSumBoolArrayGreaterEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
BOOLVARS
- a list of boolean variablesTARGET
- a boolean variabledefault boolean addClausesMaxBoolArrayLessEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
BOOLVARS
- a list of boolean variablesTARGET
- a boolean variabledefault boolean addClausesSumBoolArrayLessEqVar(BoolVar[] BOOLVARS, BoolVar TARGET)
BOOLVARS
- a list of boolean variablesTARGET
- a boolean variabledefault boolean addConstructiveDisjunction(Constraint... cstrs)
cstrs
- constraint in disjunctionCopyright © 2018. All rights reserved.