Package com.artelys.kalis

Class 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 Detail

      • 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