KEqualXyc

class KEqualXyc : public KConstraint

This class creates a X == Y + C constraint.

Example :

KIntVar X(...);
KIntVar Y(...);
// ...
problem.post(X == Y + 5);
// or
problem.post(KEqualXyc(X,Y,5));

See

KConstraint

Since

2016.1

Public Functions

KEqualXyc(const KIntVar &v1, const KIntVar &v2, int c)

Primary constructor of v1 == v2 + C

Parameters

• v1 – the v1 variable

• v2 – the v2 variable

• c – the constant

KEqualXyc(const KEqualXyc &toCopy)

Copy constructor.