Package com.artelys.kalis

Class KDistanceGreaterThanXyc

  • public class KDistanceGreaterThanXyc
extends KConstraint
    This class creates a abs(X-Y) >= C constraint

    Example :
    
KIntVar X(...);
KIntVar Y(...);
// ...
problem.post(KDistanceGreaterThanXyc(X,Y,3)); // |X-Y| >= 3

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KDistanceGreaterThanXyc

        protected KDistanceGreaterThanXyc​(long cPtr,
                                  boolean cMemoryOwn)

      • KDistanceGreaterThanXyc

        public KDistanceGreaterThanXyc​(KIntVar v1,
                               KIntVar v2,
                               int c)
        Primary constructor of abs(v1-v2) >= C
        Parameters:
        v1 - the v1 variable
        v2 - the v2 variable
        c - the constant