Package com.artelys.kalis

Class KNumEqualXYZ

  • public class KNumEqualXYZ
extends KConstraint
    This class creates a `X == Y + Z` constraint

    Example :
    
KNumVar X(...);
KNumVar Y(...);
KNumVar Z(...);
// ...
problem.post(KNumEqualXYZ(X, Y, Z));

    Since:
    2016.1
    See Also:
    KConstraint

    • Constructor Detail

      • KNumEqualXYZ

        protected KNumEqualXYZ​(long cPtr,
                       boolean cMemoryOwn)

      • KNumEqualXYZ

        public KNumEqualXYZ​(KNumEqualXYZ toCopy)