Package com.artelys.kalis

Class KSplitDomain

java.lang.Object

com.artelys.kalis.KBranchingScheme

com.artelys.kalis.KSplitDomain

public class KSplitDomain
extends KBranchingScheme

SplitDomain Branching scheme



Example :

KBranchingSchemeArray myBranchingSchemeArray;
myBranchingSchemeArray += KSplitDomain(KSmallestDomain(),KMaxToMin());

Since:

2016.1

See Also:

KAssignVar KAssignAndForbid KSettleDisjunction KProbe KSplitDomain

Field Summary

Fields inherited from class com.artelys.kalis.KBranchingScheme

swigCMemOwn

Constructor Summary

Constructors

Modifier	Constructor	Description
	KSplitDomain()	Constructor
	KSplitDomain(boolean lowerPartFirst)	Constructor
	KSplitDomain(boolean lowerPartFirst, int minDomainSize)	Constructor
	KSplitDomain(boolean lowerPartFirst, int minDomainSize, int discrepancyLimit)	Constructor
protected	KSplitDomain(long cPtr, boolean cMemoryOwn)
	KSplitDomain(KSplitDomain splitDomainToCopy)
	KSplitDomain(KVariableSelector varSel)	Constructor
	KSplitDomain(KVariableSelector varSel, boolean lowerPartFirst)	Constructor
	KSplitDomain(KVariableSelector varSel, boolean lowerPartFirst, int minDomainSize)	Constructor
	KSplitDomain(KVariableSelector varSel, boolean lowerPartFirst, int minDomainSize, int discrepancyLimit)	Constructor
	KSplitDomain(KVariableSelector varSel, KValueSelector valSel)	Constructor
	KSplitDomain(KVariableSelector varSel, KValueSelector valSel, boolean lowerPartFirst)	Constructor
	KSplitDomain(KVariableSelector varSel, KValueSelector valSel, boolean lowerPartFirst, int minDomainSize)	Constructor
	KSplitDomain(KVariableSelector varSel, KValueSelector valSel, boolean lowerPartFirst, int minDomainSize, int discrepancyLimit)	Constructor
	KSplitDomain(KVariableSelector varSel, KValueSelector valSel, KIntVarArray intVarArray)	Constructor
	KSplitDomain(KVariableSelector varSel, KValueSelector valSel, KIntVarArray intVarArray, boolean lowerPartFirst)	Constructor
	KSplitDomain(KVariableSelector varSel, KValueSelector valSel, KIntVarArray intVarArray, boolean lowerPartFirst, int minDomainSize)	Constructor
	KSplitDomain(KVariableSelector varSel, KValueSelector valSel, KIntVarArray intVarArray, boolean lowerPartFirst, int minDomainSize, int discrepancyLimit)	Constructor
	KSplitDomain(com.artelys.kalis.SWIGTYPE_p_KSplitDomain_I splitDomain)

Method Summary

Modifier and Type	Method	Description
void	delete()
protected void	finalize()
KBranchingScheme	getCopyPtr()
protected static long	getCPtr(KSplitDomain 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

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

KSplitDomain

protected KSplitDomain(long cPtr,
                       boolean cMemoryOwn)

KSplitDomain

public KSplitDomain(boolean lowerPartFirst,
                    int minDomainSize,
                    int discrepancyLimit)

Constructor

Parameters:

lowerPartFirst - explore the lower part of the domain first (default value = true)

minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur

KSplitDomain

public KSplitDomain(boolean lowerPartFirst,
                    int minDomainSize)

Constructor

Parameters:

lowerPartFirst - explore the lower part of the domain first (default value = true)

minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur

KSplitDomain

public KSplitDomain(boolean lowerPartFirst)

Constructor

Parameters:

lowerPartFirst - explore the lower part of the domain first (default value = true)

KSplitDomain

public KSplitDomain()

Constructor

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    boolean lowerPartFirst,
                    int minDomainSize,
                    int discrepancyLimit)

Constructor

Parameters:

varSel - the variable selector

lowerPartFirst - explore the lower part of the domain first (default value = true)

minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    boolean lowerPartFirst,
                    int minDomainSize)

Constructor

Parameters:

varSel - the variable selector

lowerPartFirst - explore the lower part of the domain first (default value = true)

minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    boolean lowerPartFirst)

Constructor

Parameters:

varSel - the variable selector

lowerPartFirst - explore the lower part of the domain first (default value = true)

KSplitDomain

public KSplitDomain(KVariableSelector varSel)

Constructor

Parameters:

varSel - the variable selector

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    KValueSelector valSel,
                    boolean lowerPartFirst,
                    int minDomainSize,
                    int discrepancyLimit)

Constructor

Parameters:

varSel - the variable selector

valSel - the value selector

lowerPartFirst - explore the lower part of the domain first (default value = true)

minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    KValueSelector valSel,
                    boolean lowerPartFirst,
                    int minDomainSize)

Constructor

Parameters:

varSel - the variable selector

valSel - the value selector

lowerPartFirst - explore the lower part of the domain first (default value = true)

minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    KValueSelector valSel,
                    boolean lowerPartFirst)

Constructor

Parameters:

varSel - the variable selector

valSel - the value selector

lowerPartFirst - explore the lower part of the domain first (default value = true)

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    KValueSelector valSel)

Constructor

Parameters:

varSel - the variable selector

valSel - the value selector

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    KValueSelector valSel,
                    KIntVarArray intVarArray,
                    boolean lowerPartFirst,
                    int minDomainSize,
                    int discrepancyLimit)

Constructor

Parameters:

varSel - the variable selector

valSel - the value selector

intVarArray - the variable array to branch on

lowerPartFirst - explore the lower part of the domain first (default value = true)

minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    KValueSelector valSel,
                    KIntVarArray intVarArray,
                    boolean lowerPartFirst,
                    int minDomainSize)

Constructor

Parameters:

varSel - the variable selector

valSel - the value selector

intVarArray - the variable array to branch on

lowerPartFirst - explore the lower part of the domain first (default value = true)

minDomainSize - under a size of 'minDomainSize' for the domain of the variable , no split occur

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    KValueSelector valSel,
                    KIntVarArray intVarArray,
                    boolean lowerPartFirst)

Constructor

Parameters:

varSel - the variable selector

valSel - the value selector

intVarArray - the variable array to branch on

lowerPartFirst - explore the lower part of the domain first (default value = true)

KSplitDomain

public KSplitDomain(KVariableSelector varSel,
                    KValueSelector valSel,
                    KIntVarArray intVarArray)

Constructor

Parameters:

varSel - the variable selector

valSel - the value selector

intVarArray - the variable array to branch on

KSplitDomain

public KSplitDomain(com.artelys.kalis.SWIGTYPE_p_KSplitDomain_I splitDomain)

KSplitDomain

public KSplitDomain(KSplitDomain splitDomainToCopy)

Method Detail

getCPtr

protected static long getCPtr(KSplitDomain obj)

finalize

protected void finalize()

Overrides:

finalize in class KBranchingScheme

delete

public void delete()

Overrides:

delete in class KBranchingScheme

getCopyPtr

public KBranchingScheme getCopyPtr()

Overrides:

getCopyPtr in class KBranchingScheme

getInstanceCopyPtr

public KBranchingScheme getInstanceCopyPtr(KProblem problem)

Overrides:

getInstanceCopyPtr in class KBranchingScheme