KNumXEqualsYTimesZ¶

class KNumXEqualsYTimesZ : public KConstraint ¶

This class creates a X == Y * Z constraint

Example :

KNumVar X(...);
KNumVar Y(...);
KNumVar Z(...);
// ...
problem.post(X == Y * Z);
// or
problem.post(KNumXEqualsYTimesZ(X, Y, Z));