Class KNumEqualXYZ

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

    • KNumEqualXYZ

      protected KNumEqualXYZ(long cPtr, boolean cMemoryOwn)
    • KNumEqualXYZ

      public KNumEqualXYZ(KNumVar v1, KNumVar v2, KNumVar v3)
    • KNumEqualXYZ

      public KNumEqualXYZ(KNumEqualXYZ toCopy)
  • Method Details