KNumGreaterOrEqualXc

class KNumGreaterOrEqualXc : public KConstraint

This class creates a X >= C constraint

Example :

KNumVar X(...);
// ...
problem.post(X >= 3);
// or
problem.post(KNumGreaterOrEqualXc(X, 3));

See

KConstraint

Since

2016.1

Public Functions

KNumGreaterOrEqualXc(const KNumVar &v1, double c)

Primary constructor of v1 >= C

Parameters

• v1 – the variable

• c – the constant

KNumGreaterOrEqualXc(const KNumGreaterOrEqualXc &toCopy)

Copy constructor.