KNumXOperatorATanY

class KNumXOperatorATanY : public KConstraint

This class creates a X {==,<=,>=} atan(Y) constraint

Example :

KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(KNumXOperatorATanY(X, Y, GEQ));

See

KConstraint

Since

2016.1

Public Functions

KNumXOperatorATanY(const KNumVar &v1, const KNumVar &v2, int OPERATOR)

Primary constructor of v1 [op] atan( v2 )

Parameters
  • v1 – the v1 variable

  • v2 – the v2 variable

  • op – operator for the constraint (GEQ, LEQ, EQ)

KNumXOperatorATanY(const KNumXOperatorATanY &toCopy)

Copy constructor.