KNotEqualXc

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

public class KNotEqualXc
extends KConstraint

This class creates a X != C constraint

Example :


KIntVar X(...);
// ...
problem.post(X != 5);
// or
problem.post(KNotEqualXc(X,5));

Since:: 2016.1
See Also:: KConstraint

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

Constructor Summary

Constructors
Modifier	Constructor	Description
`protected`	`KNotEqualXc(long cPtr, boolean cMemoryOwn)`
	`KNotEqualXc(KIntVar v1, int c)`	Primary constructor of v1 != C
	`KNotEqualXc(KNotEqualXc 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(KNotEqualXc 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

KNotEqualXc

protected KNotEqualXc(long cPtr,
                      boolean cMemoryOwn)

KNotEqualXc
```
public KNotEqualXc(KIntVar v1,
                   int c)
```
Primary constructor of v1 != C

Parameters:

v1 - the variable

c - the constant

KNotEqualXc

public KNotEqualXc(KNotEqualXc toCopy)

Copy constructor

Method Detail
- getCPtr
```
protected static long getCPtr(KNotEqualXc obj)
```
- finalize
```
protected void finalize()
```
  Overrides:
  
  finalize in class KConstraint
- delete
```
public void delete()
```
  Overrides:
  
  delete in class KConstraint