KEqualXc

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

public class KEqualXc
extends KConstraint

This class creates a X == C constraint.

Example :


KIntVar X(...);
// ...
problem.post(X == 5);
// or
problem.post(KEqualXc(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`	`KEqualXc(long cPtr, boolean cMemoryOwn)`
	`KEqualXc(KEqualXc toCopy)`	Copy constructor
	`KEqualXc(KIntVar v1, int c)`	Primary constructor of v1 == C

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`delete()`
`protected void`	`finalize()`
`protected static long`	`getCPtr(KEqualXc 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

KEqualXc

protected KEqualXc(long cPtr,
                   boolean cMemoryOwn)

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

Parameters:

v1 - the variable

c - the constant

KEqualXc
```
public KEqualXc(KEqualXc toCopy)
```
Copy constructor

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