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));

Field Summary
- Fields inherited from class com.artelys.kalis.KConstraint
  swigCMemOwn

Constructors
Modifier	Constructor	Description
`protected`	`KNumXEqualsYTimesZ(long cPtr, boolean cMemoryOwn)`
	`KNumXEqualsYTimesZ(KNumVar v1, KNumVar v2, KNumVar v3)`
	`KNumXEqualsYTimesZ(KNumXEqualsYTimesZ toCopy)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`delete()`
`protected void`	`finalize()`
`protected static long`	`getCPtr(KNumXEqualsYTimesZ obj)`

Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

protected KNumXEqualsYTimesZ(long cPtr,
                             boolean cMemoryOwn)

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

public KNumXEqualsYTimesZ(KNumXEqualsYTimesZ toCopy)

protected static long getCPtr(KNumXEqualsYTimesZ obj)

Class KNumXEqualsYTimesZ