Package com.artelys.kalis

Class KNumXEqualsYArithPowC

  • public class KNumXEqualsYArithPowC
extends KConstraint
    This class creates a X = Y ^ C constraint

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

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KNumXEqualsYArithPowC

        protected KNumXEqualsYArithPowC​(long cPtr,
                                boolean cMemoryOwn)

      • KNumXEqualsYArithPowC

        public KNumXEqualsYArithPowC​(KNumVar v1,
                             KNumVar v2,
                             int c)
        Primary constructor of `v1 = v2 ^ c`

        Parameters:
        v1 - the v1 variable
        v2 - the v2 variable
        c - the constant