KEquiv

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

See

KConstraint

Since

2016.1

Public Functions

KEquiv(const KConstraint &c1, const KConstraint &c2)

Primary constructor

Parameters

• c1 – the left part constraint in c1 <==> c2

• c2 – the right part constraint in c1 <==> c2

KEquiv(const KEquiv &toCopy)

Copy constructor.