Class KNumXOperatorExpY

java.lang.Object
com.artelys.kalis.KConstraint
com.artelys.kalis.KNumXOperatorExpY

public class KNumXOperatorExpY extends KConstraint
This class creates a X {==,<=,>=} exp(Y) constraint

Example :

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


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KNumXOperatorExpY

      protected KNumXOperatorExpY(long cPtr, boolean cMemoryOwn)
    • KNumXOperatorExpY

      public KNumXOperatorExpY(KNumVar v1, KNumVar v2, int op)
      Primary constructor of v1 [op] ln( v2 )
      Parameters:
      v1 - the v1 variable
      v2 - the v2 variable
      op - operator for the constraint (GEQ, LEQ, EQ)
    • KNumXOperatorExpY

      public KNumXOperatorExpY(KNumXOperatorExpY toCopy)
      Copy constructor
  • Method Details