Class KConjunction

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

public class KConjunction extends KConstraint
This class creates a Binary conjunction on two constraints `C1 and C2`.

Example :

// C1     C2       C1 /\ C2
// ------------------------
// false  false    false
// false  true     false
// true   false    false
// true   true     true

KIntVar START0(...);
KIntVar START1(...);

// ...
problem.post(START0 + 10 < 4 && START1 + 10 > 10);
// or
problem.post(KConjunction(START0 + 10 < 4,START1 + 10 > 10));


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KConjunction

      protected KConjunction(long cPtr, boolean cMemoryOwn)
    • KConjunction

      public KConjunction(KConstraint c1, KConstraint c2)
      Primary constructor

      Parameters:
      c1 - the first constraint of the conjunction c1 and c2
      c2 - the second constraint of the conjunction c1 and c2
    • KConjunction

      public KConjunction(KConjunction toCopy)
      Copy constructor
  • Method Details