Package com.artelys.kalis
Class KIntervalDomain
- java.lang.Object
-
- com.artelys.kalis.KBranchingScheme
-
- com.artelys.kalis.KIntervalDomain
-
public class KIntervalDomain extends KBranchingScheme
Branching scheme for splitting float variables into a set of intervals.
This branching scheme split the domain of a float variable into interval
of length `gap`. If the boolean `order` is false, then interval are
created in ascending order (descending order otherwise).
For an initial domain [l, u], the created sub-domains will be:
- In ascending order: [l + (k-1) * gap, min(l + k * gap, u)] for k=1,...,ceil((u-l)/gap)
- In descending order: [u - k * gap, max(u - (k-1) * gap, l)] for k=1,...,ceil((u-l)/gap)
- See Also:
KBranchingScheme
-
-
Field Summary
-
Fields inherited from class com.artelys.kalis.KBranchingScheme
swigCMemOwn
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
KIntervalDomain(long cPtr, boolean cMemoryOwn)
KIntervalDomain(KNumVarArray floatVarArray, double gap, boolean order)
ConstructorKIntervalDomain(com.artelys.kalis.SWIGTYPE_p_KIntervalDomain_I intervalDomain)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description void
delete()
protected void
finalize()
KBranchingScheme
getCopyPtr()
protected static long
getCPtr(KIntervalDomain obj)
KBranchingScheme
getInstanceCopyPtr(KProblem problem)
-
Methods inherited from class com.artelys.kalis.KBranchingScheme
_finishedBranching, _freeAllocatedObjectsForBranching, _getNextBranch, _goDownBranch, _goUpBranch, _selectNextBranchingObject, getCPtr, getGoDownDescription, getName, getProblem, printName, setSolver_I_ptr, swigDirectorDisconnect, swigReleaseOwnership, swigTakeOwnership
-
-
-
-
Constructor Detail
-
KIntervalDomain
protected KIntervalDomain(long cPtr, boolean cMemoryOwn)
-
KIntervalDomain
public KIntervalDomain(KNumVarArray floatVarArray, double gap, boolean order)
Constructor
-
KIntervalDomain
public KIntervalDomain(com.artelys.kalis.SWIGTYPE_p_KIntervalDomain_I intervalDomain)
-
-
Method Detail
-
getCPtr
protected static long getCPtr(KIntervalDomain obj)
-
finalize
protected void finalize()
- Overrides:
finalize
in classKBranchingScheme
-
delete
public void delete()
- Overrides:
delete
in classKBranchingScheme
-
getCopyPtr
public KBranchingScheme getCopyPtr()
- Overrides:
getCopyPtr
in classKBranchingScheme
-
getInstanceCopyPtr
public KBranchingScheme getInstanceCopyPtr(KProblem problem)
- Overrides:
getInstanceCopyPtr
in classKBranchingScheme
-
-