Package com.artelys.kalis

Class KXEqualYMinusZ

  • public class KXEqualYMinusZ
extends KConstraint
    This class creates a X == Y - Z constraint

    Example :
    
KIntVar X(...);
KIntVar Y(...);
KIntVar Z(...);
// ...
problem.post(X == Y - Z);
//  or
problem.post(KXEqualYMinusZ(X,Y,Z));

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KXEqualYMinusZ

        protected KXEqualYMinusZ​(long cPtr,
                         boolean cMemoryOwn)