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) = RBounds consistency can be used; third parameter of constructor controls this.
- Version:
- 4.7
-
-
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
All Methods Instance Methods Concrete Methods 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
-
-
-
-
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.
-
-
Method Detail
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.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 classDecomposedConstraint<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 classDecomposedConstraint<Constraint>
- Parameters:
store
- the constraint store in which context the decomposition takes place.- Returns:
- an array list of constraints used to decompose this constraint.
-
-