Package com.artelys.kalis
Class 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 ConstructorKAbs(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
-
-
-
-
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 constraintX
- the 'X' variable of the constraintY
- 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 constraintX
- the 'X' variable of the constraintY
- 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 classKConstraint
-
delete
public void delete()
- Overrides:
delete
in classKConstraint
-
-