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));

See

KConstraint

Since

2016.1