KConjunction

class KConjunction : public 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));

See

KConstraint

Since

2016.1

Public Functions

KConjunction(const KConstraint &c1, const 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(const KConjunction &toCopy)

Copy constructor.