Class KEqualXc


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

Example :

KIntVar X(...);
// ...
problem.post(X == 5);
// or
problem.post(KEqualXc(X,5));


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KEqualXc

      protected KEqualXc(long cPtr, boolean cMemoryOwn)
    • KEqualXc

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

      public KEqualXc(KEqualXc toCopy)
      Copy constructor
  • Method Details