KXEqualYMinusZ¶

class KXEqualYMinusZ : public KConstraint ¶

This class creates a X == Y - Z constraint

Example :

KIntVar X(...);
KIntVar Y(...);
KIntVar Z(...);
// ...
problem.post(X == Y - Z);
//  or
problem.post(KXEqualYMinusZ(X,Y,Z));