Package com.artelys.kalis
Class KElement
- java.lang.Object
-
- com.artelys.kalis.KConstraint
-
- com.artelys.kalis.KElement
-
public class KElement extends KConstraint
This class creates a x == tab[i + cste] constraint
Example :
KIntArray tab(...); KIntVar x(...); KIntVar i(...); // ... problem.post(KElement(tab,i,x,4,"x == tab[i + 4]"));
- Since:
- 2016.1
- See Also:
KConstraint
-
-
Field Summary
-
Fields inherited from class com.artelys.kalis.KConstraint
swigCMemOwn
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
KElement(long cPtr, boolean cMemoryOwn)
KElement(KElement toCopy)
KElement(KEltTerm e, int x)
KElement(KEltTerm e, int x, java.lang.String name)
KElement(KEltTerm e, KIntVar x)
KElement(KEltTerm e, KIntVar x, java.lang.String name)
KElement(KIntArray tab, KIntVar i, int x)
Constructor for `x == tab[i]`KElement(KIntArray tab, KIntVar i, int x, int offset)
Constructor for `x == tab[i + cste]`KElement(KIntArray tab, KIntVar i, int x, int offset, java.lang.String name)
Constructor for `x == tab[i + cste]`KElement(KIntArray tab, KIntVar i, int x, java.lang.String name)
Constructor for `x == tab[i]`KElement(KIntArray tab, KIntVar i, KIntVar x)
Constructor for `x == tab[i]`KElement(KIntArray tab, KIntVar i, KIntVar x, int offset)
Constructor for `x == tab[i + cste]`KElement(KIntArray tab, KIntVar i, KIntVar x, int offset, java.lang.String name)
Constructor for `x == tab[i + cste]`KElement(KIntArray tab, KIntVar i, KIntVar x, java.lang.String name)
Constructor for `x == tab[i]`KElement(KIntVar i, KIntVar x, KIntArray starts, KIntArray ends, KIntArray values)
Constructor for `x = D[i + offset]` with `D` being a sparse interval map.
Given a list of intervals `[s_i, e_i)` with associated values `v_i`, then
`s_i <= y < e_i => D[y] = v_i`
KElement(KIntVar i, KIntVar x, KIntArray starts, KIntArray ends, KIntArray values, int offset)
Constructor for `x = D[i + offset]` with `D` being a sparse interval map.
Given a list of intervals `[s_i, e_i)` with associated values `v_i`, then
`s_i <= y < e_i => D[y] = v_i`
KElement(KIntVar i, KIntVar x, KIntArray starts, KIntArray ends, KIntArray values, int offset, java.lang.String name)
Constructor for `x = D[i + offset]` with `D` being a sparse interval map.
Given a list of intervals `[s_i, e_i)` with associated values `v_i`, then
`s_i <= y < e_i => D[y] = v_i`
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description void
delete()
protected void
finalize()
com.artelys.kalis.SWIGTYPE_p_void
getConstraintIPtr()
protected static long
getCPtr(KElement obj)
int
getValueForIndex(int index)
void
setUseValueFunction(boolean useValueFunction)
-
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
-
KElement
protected KElement(long cPtr, boolean cMemoryOwn)
-
KElement
public KElement(KIntArray tab, KIntVar i, KIntVar x, int offset, java.lang.String name)
Constructor for `x == tab[i + cste]`- Parameters:
tab
- the valuesi
- the index variablex
- the value variableoffset
- constant offset of indexname
- name of the constraint
-
KElement
public KElement(KIntArray tab, KIntVar i, KIntVar x, int offset)
Constructor for `x == tab[i + cste]`- Parameters:
tab
- the valuesi
- the index variablex
- the value variableoffset
- constant offset of index
-
KElement
public KElement(KIntArray tab, KIntVar i, KIntVar x, java.lang.String name)
Constructor for `x == tab[i]`- Parameters:
tab
- the valuesi
- the index variablex
- the value variablename
- name of the constraint
-
KElement
public KElement(KIntArray tab, KIntVar i, KIntVar x)
Constructor for `x == tab[i]`- Parameters:
tab
- the valuesi
- the index variablex
- the value variable
-
KElement
public KElement(KIntArray tab, KIntVar i, int x, int offset, java.lang.String name)
Constructor for `x == tab[i + cste]`- Parameters:
tab
- the valuesi
- the index variablex
- the value constantoffset
- constant offset of indexname
- name of the constraint
-
KElement
public KElement(KIntArray tab, KIntVar i, int x, int offset)
Constructor for `x == tab[i + cste]`- Parameters:
tab
- the valuesi
- the index variablex
- the value constantoffset
- constant offset of index
-
KElement
public KElement(KIntArray tab, KIntVar i, int x, java.lang.String name)
Constructor for `x == tab[i]`- Parameters:
tab
- the valuesi
- the index variablex
- the value constantname
- name of the constraint
-
KElement
public KElement(KIntArray tab, KIntVar i, int x)
Constructor for `x == tab[i]`- Parameters:
tab
- the valuesi
- the index variablex
- the value constant
-
KElement
public KElement(KIntVar i, KIntVar x, KIntArray starts, KIntArray ends, KIntArray values, int offset, java.lang.String name)
Constructor for `x = D[i + offset]` with `D` being a sparse interval map.
Given a list of intervals `[s_i, e_i)` with associated values `v_i`, then
`s_i <= y < e_i => D[y] = v_i`
- Parameters:
i
- tx
- the value variablestarts
- Interval starts `s_i`ends
- Interval ends `e_i`values
- Interval values `v_i`offset
- potential offset for the indxing variablename
- name of the constraint
-
KElement
public KElement(KIntVar i, KIntVar x, KIntArray starts, KIntArray ends, KIntArray values, int offset)
Constructor for `x = D[i + offset]` with `D` being a sparse interval map.
Given a list of intervals `[s_i, e_i)` with associated values `v_i`, then
`s_i <= y < e_i => D[y] = v_i`
- Parameters:
i
- tx
- the value variablestarts
- Interval starts `s_i`ends
- Interval ends `e_i`values
- Interval values `v_i`offset
- potential offset for the indxing variable
-
KElement
public KElement(KIntVar i, KIntVar x, KIntArray starts, KIntArray ends, KIntArray values)
Constructor for `x = D[i + offset]` with `D` being a sparse interval map.
Given a list of intervals `[s_i, e_i)` with associated values `v_i`, then
`s_i <= y < e_i => D[y] = v_i`
- Parameters:
i
- tx
- the value variablestarts
- Interval starts `s_i`ends
- Interval ends `e_i`values
- Interval values `v_i`
-
KElement
public KElement(KEltTerm e, int x, java.lang.String name)
-
KElement
public KElement(KEltTerm e, int x)
-
KElement
public KElement(KElement toCopy)
-
-
Method Detail
-
getCPtr
protected static long getCPtr(KElement obj)
-
finalize
protected void finalize()
- Overrides:
finalize
in classKConstraint
-
delete
public void delete()
- Overrides:
delete
in classKConstraint
-
getValueForIndex
public int getValueForIndex(int index)
-
setUseValueFunction
public void setUseValueFunction(boolean useValueFunction)
-
getConstraintIPtr
public com.artelys.kalis.SWIGTYPE_p_void getConstraintIPtr()
-
-