Class KDistanceGreaterThanXyc

java.lang.Object
com.artelys.kalis.KConstraint
com.artelys.kalis.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 Details

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

      public KDistanceGreaterThanXyc(KDistanceGreaterThanXyc toCopy)
      Copy constructor
  • Method Details