Class KNumLowerOrEqualXyc

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

public class KNumLowerOrEqualXyc extends KConstraint
This class creates a `X <= Y + C` constraint

Example :

KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(X <= Y + 5);
// or
problem.post(KNumLowerOrEqualXyc(X, Y, 5));


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KNumLowerOrEqualXyc

      protected KNumLowerOrEqualXyc(long cPtr, boolean cMemoryOwn)
    • KNumLowerOrEqualXyc

      public KNumLowerOrEqualXyc(KNumVar v1, KNumVar v2, double c)
      Primary constructor of `v1 <= v2 + C`

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

      public KNumLowerOrEqualXyc(KNumLowerOrEqualXyc toCopy)
      Copy constructor
  • Method Details