KLessOrEqualXc

class KLessOrEqualXc : public KConstraint

This class creates a X <= C constraint.

Example :

KIntVar X(...);
// ...
problem.post(X <= 3);
// or
problem.post(KLessOrEqualXc(X,3));

See

KConstraint

Since

2016.1

Public Functions

KLessOrEqualXc(const KIntVar &v1, int c)

Primary constructor of v1 <= C

Parameters
  • v1 – the variable

  • c – the constant

KLessOrEqualXc(const KLessOrEqualXc &toCopy)

Copy constructor.