Package com.artelys.kalis

Class KNumEqualXYc

  • public class KNumEqualXYc
extends KConstraint
    This class creates a `X == Y + C` constraint

    Example :
    
KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(X == Y + 5);
// or
problem.post(KNumEqualXyc(X, Y, 5));

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KNumEqualXYc

        protected KNumEqualXYc​(long cPtr,
                       boolean cMemoryOwn)

      • KNumEqualXYc

        public KNumEqualXYc​(KNumVar v1,
                    KNumVar v2,
                    double c)
        Primary constructor of `v1 == v2 + C`

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

      • KNumEqualXYc

        public KNumEqualXYc​(KNumEqualXYc toCopy)
        Copy constructor