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.10
  • Field Details

    • p

      public FloatVar p
      It contains variable p.
    • q

      public FloatVar q
      It contains variable q.
    • constraints

      List<Constraint> constraints
      It contains constraints of the CosPeqR_decomposed constraint decomposition.
  • Constructor Details

    • CosPeqR_decomposed

      public CosPeqR_decomposed(FloatVar p, FloatVar q)
      It constructs cos(P) = Q constraints.
      Parameters:
      p - variable P
      q - variable Q
  • Method Details

    • toString

      public String toString()
      Overrides:
      toString in class 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 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.