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.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Field Summary

Fields inherited from class org.jacop.constraints.DecomposedConstraint

queueIndex

Constructor Summary

Constructors

Constructor and Description
AndBool(IntVar[] a, IntVar result) It constructs and constraint on variables.
AndBool(IntVar a, IntVar b, IntVar result) It constructs and constraint on variables.
AndBool(List<IntVar> a, IntVar result) It constructs and constraint on variables.

Method Summary

Modifier and Type	Method and Description
List<PrimitiveConstraint>	decompose(Store store) It returns an array list of constraint which are used to decompose this constraint.
void	imposeDecomposition(Store store) It imposes the constraint in a given store.
String	toString()

Methods inherited from class org.jacop.constraints.DecomposedConstraint

auxiliaryVariables, checkInput, checkInput, checkInputForDuplication, checkInputForDuplicationSkipSingletons, checkInputForNullness, checkInputForNullness, checkInputForNullness, derivative, getDubletonsSkipSingletons, imposeDecomposition

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AndBool

public AndBool(IntVar[] a,
               IntVar result)

It constructs and constraint on variables.

Parameters:

a - parameters variable.

result - variable.

AndBool

public AndBool(List<IntVar> a,
               IntVar result)

It constructs and constraint on variables.

Parameters:

a - parameters variable.

result - variable.

AndBool

public AndBool(IntVar a,
               IntVar b,
               IntVar result)

It constructs and constraint on variables.

Parameters:

a - parameter variable.

b - parameter 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 class DecomposedConstraint<PrimitiveConstraint>

Parameters:

store - the constraint store to which the constraint is imposed to.

decompose

public 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 class DecomposedConstraint<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 String toString()

Overrides:

toString in class Object