Class KGuard


public class KGuard extends KConstraint
This class creates an implication on two constraints `C1 ==> C2`

Example :

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

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

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


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KGuard

      protected KGuard(long cPtr, boolean cMemoryOwn)
    • KGuard

      public KGuard(KConstraint c1, KConstraint c2)
      Primary constructor

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

      public KGuard(KGuard toCopy)
      Copy constructor
  • Method Details