Package com.artelys.kalis

Class KGreaterOrEqualXc

  • public class KGreaterOrEqualXc
extends KConstraint
    This class creates a X >= C constraint.

    Example :
    

KIntVar X(...);
// ...
problem.post(X >= 3);
// or
problem.post(KGreaterOrEqualXc(X,3));

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KGreaterOrEqualXc

        protected KGreaterOrEqualXc​(long cPtr,
                            boolean cMemoryOwn)

      • KGreaterOrEqualXc

        public KGreaterOrEqualXc​(KIntVar v1,
                         int c)
        Primary constructor of v1 >= C
        Parameters:
        v1 - the variable
        c - the constant

      • KGreaterOrEqualXc

        public KGreaterOrEqualXc​(KGreaterOrEqualXc toCopy)
        Copy constructor