Class KNumGreaterOrEqualXc

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

public class KNumGreaterOrEqualXc extends KConstraint
This class creates a `X >= C` constraint

Example :

KNumVar X(...);
// ...
problem.post(X >= 3);
// or
problem.post(KNumGreaterOrEqualXc(X, 3));


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KNumGreaterOrEqualXc

      protected KNumGreaterOrEqualXc(long cPtr, boolean cMemoryOwn)
    • KNumGreaterOrEqualXc

      public KNumGreaterOrEqualXc(KNumVar v1, double c)
      Primary constructor of `v1 >= C`

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

      public KNumGreaterOrEqualXc(KNumGreaterOrEqualXc toCopy)
      Copy constructor
  • Method Details