KNumLessOrEqualXc

class KNumLessOrEqualXc : public KConstraint

This class creates a X <= C constraint

Example :

KNumVar X(...);
// ...
problem.post(X <= 3);
// or
problem.post(KNumLessOrEqualXc(X, 3));

See

KConstraint

Since

2016.1

Public Functions

KNumLessOrEqualXc(const KNumVar &v1, double c)

Primary constructor of v1 <= C

Parameters
  • v1 – the variable

  • c – the constant

KNumLessOrEqualXc(const KNumLessOrEqualXc &toCopy)

Copy constructor.