KNumXEqualsYArithPowC

class KNumXEqualsYArithPowC : public KConstraint

This class creates a X = Y ^ C constraint

Example :

KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(KNumXEqualsYArithPowC(X, Y, 5));

See

KConstraint

Since

2016.1

Public Functions

KNumXEqualsYArithPowC(const KNumVar &v1, const KNumVar &v2, int c)

Primary constructor of v1 = v2 ^ c

Parameters

• v1 – the v1 variable

• v2 – the v2 variable

• c – the constant

KNumXEqualsYArithPowC(const KNumXEqualsYArithPowC &toCopy)

Copy constructor.