KNumDistanceGreaterThanXyc

class KNumDistanceGreaterThanXyc : public KConstraint

This class creates a abs(X-Y) >= C constraint

Example :

KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(KDistanceGreaterThanXyc(X, Y, 3)); // |X-Y| >= 3

See

KConstraint

Since

2016.1

Public Functions

KNumDistanceGreaterThanXyc(const KNumVar &v1, const KNumVar &v2, double c)

Primary constructor of abs(v1-v2) >= C

Parameters
  • v1 – the v1 variable

  • v2 – the v2 variable

  • c – the constant

KNumDistanceGreaterThanXyc(const KNumDistanceGreaterThanXyc &toCopy)

Copy constructor.