KNumXEqualsAbsY

class KNumXEqualsAbsY : public KConstraint

This class creates a X = |Y| constraint

Example :

KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(KNumXEqualsAbsY(X, Y));

See

KConstraint

Since

2016.1

Public Functions

KNumXEqualsAbsY(const KNumVar &v1, const KNumVar &v2)

Primary constructor of v1 = ln( v2 )

Parameters

• v1 – the v1 variable

• v2 – the v2 variable