Class KXEqualYMinusZ

java.lang.Object
com.artelys.kalis.KConstraint
com.artelys.kalis.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 Details

    • KXEqualYMinusZ

      protected KXEqualYMinusZ(long cPtr, boolean cMemoryOwn)
    • KXEqualYMinusZ

      public KXEqualYMinusZ(KIntVar v1, KIntVar v2, KIntVar v3)
    • KXEqualYMinusZ

      public KXEqualYMinusZ(KXEqualYMinusZ toCopy)
  • Method Details