Class PdivCeqR

  • All Implemented Interfaces:
    SatisfiedPresent

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

    Boundary consistency is used.

    Version:
    4.7
    • Constructor Detail

      • 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 Detail

      • toString

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