Class KNumLowerOrEqualXyc


  • public class KNumLowerOrEqualXyc
    extends KConstraint
    This class creates a `X <= Y + C` constraint

    Example :
    
    KNumVar X(...);
    KNumVar Y(...);
    // ...
    problem.post(X <= Y + 5);
    // or
    problem.post(KNumLowerOrEqualXyc(X, Y, 5));
    

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KNumLowerOrEqualXyc

        protected KNumLowerOrEqualXyc​(long cPtr,
                                      boolean cMemoryOwn)
      • KNumLowerOrEqualXyc

        public KNumLowerOrEqualXyc​(KNumVar v1,
                                   KNumVar v2,
                                   double c)
        Primary constructor of `v1 <= v2 + C`

        Parameters:
        v1 - the v1 variable
        v2 - the v2 variable
        c - the constant
      • KNumLowerOrEqualXyc

        public KNumLowerOrEqualXyc​(KNumLowerOrEqualXyc toCopy)
        Copy constructor