public class KNumLowerOrEqualXyc
extends KConstraint

This class creates a `X <= Y + C` constraint

Example :


KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(X <= Y + 5);
// or
problem.post(KNumLowerOrEqualXyc(X, Y, 5));

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

Constructors
Modifier	Constructor	Description
`protected`	`KNumLowerOrEqualXyc(long cPtr, boolean cMemoryOwn)`
	`KNumLowerOrEqualXyc(KNumLowerOrEqualXyc toCopy)`	Copy constructor
	`KNumLowerOrEqualXyc(KNumVar v1, KNumVar v2, double c)`	Primary constructor of `v1 <= v2 + C`

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

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

protected KNumLowerOrEqualXyc(long cPtr,
                              boolean cMemoryOwn)

public KNumLowerOrEqualXyc(KNumVar v1,
                           KNumVar v2,
                           double c)

Primary constructor of `v1 <= v2 + C`

Parameters:: v1 - the v1 variable; v2 - the v2 variable; c - the constant

public KNumLowerOrEqualXyc(KNumLowerOrEqualXyc toCopy)

Copy constructor

protected static long getCPtr(KNumLowerOrEqualXyc obj)

Class KNumLowerOrEqualXyc