Class SqrtPeqR

All Implemented Interfaces:
SatisfiedPresent

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

Boundary consistency is used.

Version:
4.10
  • Constructor Details

    • SqrtPeqR

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

    • 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 String toString()
      Description copied from class: Constraint
      It produces a string representation of a constraint state.
      Overrides:
      toString in class PmulQeqR
    • derivative

      public FloatVar derivative(Store store, FloatVar f, Set<FloatVar> vars, FloatVar x)
      Overrides:
      derivative in class PmulQeqR