Class 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 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
      • 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.