Package com.artelys.kalis

Class KGreaterOrEqualXyc

  • public class KGreaterOrEqualXyc
extends KConstraint
    This class creates a X >= Y + C constraint

    Example :
    
KIntVar X(...);
KIntVar Y(...);
// ...
problem.post(X >= Y + 3);
// or
problem.post(KGreaterOrEqualXyc(X,Y,3));

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KGreaterOrEqualXyc

        protected KGreaterOrEqualXyc​(long cPtr,
                             boolean cMemoryOwn)

      • KGreaterOrEqualXyc

        public KGreaterOrEqualXyc​(KIntVar v1,
                          KIntVar v2,
                          int c)
        Primary constructor of v1 >= v2 + C

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

      • KGreaterOrEqualXyc

        public KGreaterOrEqualXyc​(KGreaterOrEqualXyc toCopy)
        Copy constructor