Class KNumDistanceEqualXyc

java.lang.Object
com.artelys.kalis.KConstraint
com.artelys.kalis.KNumDistanceEqualXyc

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

Example :

KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(KNumDistanceEqualXyc(X, Y, 3));	// |X-Y| == 3


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KNumDistanceEqualXyc

      protected KNumDistanceEqualXyc(long cPtr, boolean cMemoryOwn)
    • KNumDistanceEqualXyc

      public KNumDistanceEqualXyc(KNumVar v1, KNumVar v2, double c)
      Primary constructor of abs(v1-v2) == C
      Parameters:
      v1 - the v1 variable
      v2 - the v2 variable
      c - the constant
    • KNumDistanceEqualXyc

      public KNumDistanceEqualXyc(KNumDistanceEqualXyc toCopy)
      Copy constructor
  • Method Details