Class KDistanceEqualXyc


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

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

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KDistanceEqualXyc

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

        public KDistanceEqualXyc​(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
      • KDistanceEqualXyc

        public KDistanceEqualXyc​(KDistanceEqualXyc toCopy)
        Copy constructor