Class KEquiv


public class KEquiv extends KConstraint
This class creates an Equivalence on two constraints `C1 <==> C2`.

Example :

// C1     C2       C1 <==> C2
// --------------------------
// false  false    true
// false  true     false
// true   false    false
// true   true     true

KIntVar X(...);
KIntVar Y(...);
KIntVar Z(...);

problem.post( KEquiv( X <= Y + 3 , Z > 4 )  );


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KEquiv

      protected KEquiv(long cPtr, boolean cMemoryOwn)
    • KEquiv

      public KEquiv(KConstraint c1, KConstraint c2)
      Primary constructor

      Parameters:
      c1 - the left part constraint in c1 <==> c2
      c2 - the right part constraint in c1 <==> c2
    • KEquiv

      public KEquiv(KEquiv toCopy)
      Copy constructor
  • Method Details