Package org.jacop.floats.constraints

Class CosPeqR_decomposed

java.lang.Object

org.jacop.constraints.DecomposedConstraint<Constraint>

org.jacop.floats.constraints.CosPeqR_decomposed

public class CosPeqR_decomposed
extends DecomposedConstraint<Constraint>

Constraints cos(P) = R

Bounds consistency can be used; third parameter of constructor controls this.

Version:

4.8

Field Summary

Fields

Modifier and Type	Field	Description
(package private) java.util.List<Constraint>	constraints	It contains constraints of the CosPeqR_decomposed constraint decomposition.
FloatVar	p	It contains variable p.
FloatVar	q	It contains variable q.

Fields inherited from class org.jacop.constraints.DecomposedConstraint

queueIndex

Constructor Summary

Constructors

Constructor	Description
CosPeqR_decomposed(FloatVar p, FloatVar q)	It constructs cos(P) = Q constraints.

Method Summary

Modifier and Type	Method	Description
java.util.List<Constraint>	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.
java.lang.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

Field Detail

p

public FloatVar p

It contains variable p.

q

public FloatVar q

It contains variable q.

constraints

java.util.List<Constraint> constraints

It contains constraints of the CosPeqR_decomposed constraint decomposition.

Constructor Detail

CosPeqR_decomposed

public CosPeqR_decomposed(FloatVar p,
                          FloatVar q)

It constructs cos(P) = Q constraints.

Parameters:

p - variable P

q - variable Q

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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<Constraint>

Parameters:

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

decompose

public java.util.List<Constraint> 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<Constraint>

Parameters:

store - the constraint store in which context the decomposition takes place.

Returns:

an array list of constraints used to decompose this constraint.