Package com.artelys.kalis

Class 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 Detail

      • 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