Class KNumXEqualsYTimesZ

java.lang.Object
com.artelys.kalis.KConstraint
com.artelys.kalis.KNumXEqualsYTimesZ

public class KNumXEqualsYTimesZ extends KConstraint
This class creates a `X == Y * Z` constraint

Example :

KNumVar X(...);
KNumVar Y(...);
KNumVar Z(...);
// ...
problem.post(X == Y * Z);
// or
problem.post(KNumXEqualsYTimesZ(X, Y, Z));


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KNumXEqualsYTimesZ

      protected KNumXEqualsYTimesZ(long cPtr, boolean cMemoryOwn)
    • KNumXEqualsYTimesZ

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

      public KNumXEqualsYTimesZ(KNumXEqualsYTimesZ toCopy)
  • Method Details