Package org.jacop.constraints
Class AndBool
- java.lang.Object
-
- org.jacop.constraints.DecomposedConstraint<PrimitiveConstraint>
-
- org.jacop.constraints.AndBool
-
public class AndBool extends DecomposedConstraint<PrimitiveConstraint>
AndBool constraint implements logic and operation on its arguments and returns result.- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description (package private) PrimitiveConstraint
c
-
Fields inherited from class org.jacop.constraints.DecomposedConstraint
queueIndex
-
-
Constructor Summary
Constructors Constructor Description AndBool(java.util.List<IntVar> a, IntVar result)
It constructs and constraint on variables.AndBool(IntVar[] a, IntVar result)
It constructs and constraint on variables.AndBool(IntVar a, IntVar b, IntVar result)
It constructs and constraint on variables.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<PrimitiveConstraint>
decompose(Store store)
It returns an array list of constraint which are used to decompose this constraint.(package private) IntVar[]
filter(IntVar[] xs)
void
imposeDecomposition(Store store)
It imposes the constraint in a given store.java.lang.String
toString()
-
Methods inherited from class org.jacop.constraints.DecomposedConstraint
auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition
-
-
-
-
Constructor Detail
-
AndBool
public AndBool(IntVar[] a, IntVar result)
It constructs and constraint on variables.- Parameters:
a
- parameters variable.result
- variable.
-
AndBool
public AndBool(java.util.List<IntVar> a, IntVar result)
It constructs and constraint on variables.- Parameters:
a
- parameters variable.result
- variable.
-
-
Method Detail
-
imposeDecomposition
public void imposeDecomposition(Store store)
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
public java.util.List<PrimitiveConstraint> decompose(Store store)
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
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-