Class PdivCeqR

All Implemented Interfaces:
SatisfiedPresent

public class PdivCeqR extends PmulCeqR
Constraint P / C = R for floats

Boundary consistency is used.

Version:
4.9
  • Constructor Details

    • PdivCeqR

      public PdivCeqR(FloatVar p, double c, FloatVar r)
      It constructs a constraint P / Q = R.
      Parameters:
      p - variable p.
      c - constant c.
      r - variable r.
  • Method Details

    • toString

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