Package org.jacop.constraints
Class AndBool
AndBool constraint implements logic and operation on its arguments
and returns result.
- Version:
- 4.8
-
Field Summary
FieldsFields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionIt returns an array list of constraint which are used to decompose this constraint.(package private) IntVar[]
void
imposeDecomposition
(Store store) It imposes the constraint in a given store.toString()
Methods inherited from class org.jacop.constraints.DecomposedConstraint
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
-
Field Details
-
c
-
-
Constructor Details
-
AndBool
It constructs and constraint on variables.- Parameters:
a
- parameters variable.result
- variable.
-
AndBool
It constructs and constraint on variables.- Parameters:
a
- parameters variable.result
- variable.
-
AndBool
It constructs and constraint on variables.- Parameters:
a
- parameter variable.b
- parameter variable.result
- variable.
-
-
Method Details
-
imposeDecomposition
Description copied from class:DecomposedConstraint
It imposes the constraint in a given store.- Specified by:
imposeDecomposition
in classDecomposedConstraint<PrimitiveConstraint>
- Parameters:
store
- the constraint store to which the constraint is imposed to.
-
decompose
Description copied from class:DecomposedConstraint
It returns an array list of constraint which are used to decompose this constraint. It actually creates a decomposition (possibly also creating variables), but it does not impose the constraint.- Specified by:
decompose
in classDecomposedConstraint<PrimitiveConstraint>
- Parameters:
store
- the constraint store in which context the decomposition takes place.- Returns:
- an array list of constraints used to decompose this constraint.
-
toString
-
filter
-