KAbs

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

public class KAbs
extends KConstraint

This class creates a X = abs(Y) constraint

Example :


KIntVar X(...);
KIntVar Y(...);
...
problem.post(KAbs("X=|Y|",X,Y));
...

Since:: 2016.1
See Also:: KConstraint

Nested Class Summary

Nested Classes
Modifier and Type Class Description

static class KAbs.PropagationLevel
Propagation level of the constraint

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

Constructor Summary

Constructors
Modifier	Constructor	Description
`protected`	`KAbs(long cPtr, boolean cMemoryOwn)`
	`KAbs(KAbs toCopy)`	Copy Constructor
	`KAbs(java.lang.String name, KIntVar X, KIntVar Y)`	This constructor takes threee arguments
	`KAbs(java.lang.String name, KNumVar X, KNumVar Y)`	Constructor. This constructor takes threee arguments

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`delete()`
`protected void`	`finalize()`
`protected static long`	`getCPtr(KAbs 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
  - KAbs
```
protected KAbs(long cPtr,
               boolean cMemoryOwn)
```
  - KAbs
```
public KAbs(java.lang.String name,
            KIntVar X,
            KIntVar Y)
```
    This constructor takes threee arguments
    
    Parameters:
    
    name - label for pretty printing of the constraint
    
    X - the 'X' variable of the constraint
    
    Y - the 'Y" variable of the constraint
  - KAbs
```
public KAbs(java.lang.String name,
            KNumVar X,
            KNumVar Y)
```
    Constructor.
    This constructor takes threee arguments
    
    Parameters:
    
    name - label for pretty printing of the constraint
    
    X - the 'X' variable of the constraint
    
    Y - the 'Y" variable of the constraint
  - KAbs
```
public KAbs(KAbs toCopy)
```
    Copy Constructor
- Method Detail
  - getCPtr
```
protected static long getCPtr(KAbs obj)
```
  - finalize
```
protected void finalize()
```
    Overrides:
    
    finalize in class KConstraint
  - delete
```
public void delete()
```
    Overrides:
    
    delete in class KConstraint