Class KGreaterOrEqualXc

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

public class KGreaterOrEqualXc extends KConstraint
This class creates a X >= C constraint.

Example :


KIntVar X(...);
// ...
problem.post(X >= 3);
// or
problem.post(KGreaterOrEqualXc(X,3));


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KGreaterOrEqualXc

      protected KGreaterOrEqualXc(long cPtr, boolean cMemoryOwn)
    • KGreaterOrEqualXc

      public KGreaterOrEqualXc(KIntVar v1, int c)
      Primary constructor of v1 >= C
      Parameters:
      v1 - the variable
      c - the constant
    • KGreaterOrEqualXc

      public KGreaterOrEqualXc(KGreaterOrEqualXc toCopy)
      Copy constructor
  • Method Details