Class KNumLessOrEqualXc

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

public class KNumLessOrEqualXc extends KConstraint
This class creates a `X <= C` constraint

Example :

KNumVar X(...);
// ...
problem.post(X <= 3);
// or
problem.post(KNumLessOrEqualXc(X, 3));


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KNumLessOrEqualXc

      protected KNumLessOrEqualXc(long cPtr, boolean cMemoryOwn)
    • KNumLessOrEqualXc

      public KNumLessOrEqualXc(KNumVar v1, double c)
      Primary constructor of `v1 <= C`

      Parameters:
      v1 - the variable
      c - the constant
    • KNumLessOrEqualXc

      public KNumLessOrEqualXc(KNumLessOrEqualXc toCopy)
      Copy constructor
  • Method Details