KLessOrEqualXc

java.lang.Object
- com.artelys.kalis.KConstraint
- - com.artelys.kalis.KLessOrEqualXc

public class KLessOrEqualXc
extends KConstraint

This class creates a X <= C constraint.


Example :

KIntVar X(...);
// ...
problem.post(X <= 3);
// or
problem.post(KLessOrEqualXc(X,3));

Since:: 2016.1
See Also:: KConstraint

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

Constructor Summary

Constructors
Modifier	Constructor	Description
`protected`	`KLessOrEqualXc(long cPtr, boolean cMemoryOwn)`
	`KLessOrEqualXc(KIntVar v1, int c)`	Primary constructor of v1 <= C
	`KLessOrEqualXc(KLessOrEqualXc toCopy)`	Copy constructor

Method Summary

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

Methods inherited from class com.artelys.kalis.KConstraint
askIfEntailed, getArity, getCopyPtr, getCPtr, getInstance, getInstanceCopyPtr, getLinearRelaxation, getLinearRelaxation, getName, getPriority, getProblem, getTag, getTypeInfo, isGetLinearRelaxationImplemented, print, print, setName, setPriority, setTag

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

Constructor Detail

KLessOrEqualXc

protected KLessOrEqualXc(long cPtr,
                         boolean cMemoryOwn)

KLessOrEqualXc
```
public KLessOrEqualXc(KIntVar v1,
                      int c)
```
Primary constructor of v1 <= C

Parameters:

v1 - the variable

c - the constant

KLessOrEqualXc

public KLessOrEqualXc(KLessOrEqualXc toCopy)

Copy constructor

Method Detail

getCPtr

protected static long getCPtr(KLessOrEqualXc obj)

finalize
```
protected void finalize()
```
Overrides:

finalize in class KConstraint

delete
```
public void delete()
```
Overrides:

delete in class KConstraint