Class KNumXEqualsAbsY


  • public class KNumXEqualsAbsY
    extends KConstraint
    This class creates a `X = |Y|` constraint

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

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KNumXEqualsAbsY

        protected KNumXEqualsAbsY​(long cPtr,
                                  boolean cMemoryOwn)
      • KNumXEqualsAbsY

        public KNumXEqualsAbsY​(KNumVar v1,
                               KNumVar v2)
        Primary constructor of v1 = ln( v2 )

        Parameters:
        v1 - the v1 variable
        v2 - the v2 variable