KNotEqualXc

class KNotEqualXc : public KConstraint

This class creates a X != C constraint

Example :

KIntVar X(...);
// ...
problem.post(X != 5);
// or
problem.post(KNotEqualXc(X,5));

See

KConstraint

Since

2016.1

Public Functions

KNotEqualXc(const KIntVar &v1, int c)

Primary constructor of v1 != C

Parameters

• v1 – the variable

• c – the constant

KNotEqualXc(const KNotEqualXc &toCopy)

Copy constructor.