Package com.artelys.kalis

Class KNotEqualXyc

  • public class KNotEqualXyc
extends KConstraint
    This class creates a X <> Y + C constraint

    Example :
    
KIntVar X(...);
KIntVar Y(...);
// ...
problem.post(X != Y + 5);
// or
problem.post(KNotEqualXyc(X, Y, 5));

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KNotEqualXyc

        protected KNotEqualXyc​(long cPtr,
                       boolean cMemoryOwn)

      • KNotEqualXyc

        public KNotEqualXyc​(KIntVar v1,
                    KIntVar v2,
                    int c)
        Primary constructor of v1 != v2 + C
        Parameters:
        v1 - the v1 variable
        v2 - the v2 variable
        c - the constant

      • KNotEqualXyc

        public KNotEqualXyc​(KNotEqualXyc toCopy)
        Copy constructor