Class KNumEqualXc

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

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

Example :

KNumVar X(...);
// ...
problem.post(X == 5);
// or
problem.post(KNumEqualXc(X,5));


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KNumEqualXc

      protected KNumEqualXc(long cPtr, boolean cMemoryOwn)
    • KNumEqualXc

      public KNumEqualXc(KNumVar v1, double c)
      Primary constructor of v1 == C
      Parameters:
      v1 - the variable
      c - the constant
    • KNumEqualXc

      public KNumEqualXc(KNumEqualXc toCopy)
      Copy constructor
  • Method Details