Class PminusCeqR

All Implemented Interfaces:
SatisfiedPresent, StoreAware

public class PminusCeqR extends PplusCeqR
Constraint P - C = R

Bound consistency is used.

Version:
4.10
  • Constructor Details

    • PminusCeqR

      public PminusCeqR(FloatVar p, double c, FloatVar r)
      It constructs 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 PplusCeqR