Class SqrtPeqR

  • All Implemented Interfaces:
    SatisfiedPresent

    public class SqrtPeqR
    extends PmulQeqR
    Constraint sqrt(P) = R for floats

    Boundary consistency is used.

    Version:
    4.8
    • Constructor Detail

      • SqrtPeqR

        public SqrtPeqR​(FloatVar p,
                        FloatVar r)
        It constructs a constraint sqrt(P) = R.
        Parameters:
        p - variable p.
        r - variable r.
    • Method Detail

      • consistency

        public void consistency​(Store store)
        Description copied from class: Constraint
        It is a (most probably incomplete) consistency function which removes the values from variables domains. Only values which do not have any support in a solution space are removed.
        Overrides:
        consistency in class PmulQeqR
        Parameters:
        store - constraint store within which the constraint consistency is being checked.
      • toString

        public java.lang.String toString()
        Description copied from class: Constraint
        It produces a string representation of a constraint state.
        Overrides:
        toString in class PmulQeqR