KNumEqualXYZ¶
-
class KNumEqualXYZ : public KConstraint¶
This class creates a
X == Y + ZconstraintExample :
KNumVar X(...); KNumVar Y(...); KNumVar Z(...); // ... problem.post(KNumEqualXYZ(X, Y, Z));
- See
- Since
2016.1
This class creates a X == Y + Z constraint
Example :
KNumVar X(...);
KNumVar Y(...);
KNumVar Z(...);
// ...
problem.post(KNumEqualXYZ(X, Y, Z));
2016.1