|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.search.IntBranchingTrace
public final class IntBranchingTrace
A class for keeping a trace of the search algorithm, through an IntBranching (storing the current branching object, as well as the label of the current branch)
Constructor Summary | |
---|---|
IntBranchingTrace()
|
Method Summary | |
---|---|
void |
clear()
|
IntBranchingTrace |
copy()
|
int |
getBranchIndex()
get the index of the current alternative (branch). |
AbstractIntBranchingStrategy |
getBranching()
|
IntDomainVar |
getBranchingIntVar()
get and cast the branching object. |
Object |
getBranchingObject()
get the branching object. |
RealVar |
getBranchingRealVar()
get and cast the branching object. |
SetVar |
getBranchingSetVar()
get and cast the branching object. |
int |
getBranchingValue()
get the next value to try, if any (optional). |
void |
incrementBranchIndex()
|
void |
remIntVal()
apply the integer removal decision, i.e. remove the branching value from the domain of the branching int var. |
void |
setBranchIndex(int branchIndex)
|
void |
setBranching(AbstractIntBranchingStrategy branching)
|
void |
setBranchingObject(Object branchingObject)
|
void |
setBranchingValue(int branchingValue)
set the next value to try. |
void |
setIntVal()
apply the integer assignment decision, i.e. assign the branching value to the branching int var. |
void |
setValInSet()
apply the set assignment decision, i.e. put the value into the kernel. |
void |
setValOutSet()
apply the set removal decision, i.e. remove the value from the enveloppe. |
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public IntBranchingTrace()
Method Detail |
---|
public final AbstractIntBranchingStrategy getBranching()
public final void setBranching(AbstractIntBranchingStrategy branching)
public final int getBranchIndex()
IntBranchingDecision
getBranchIndex
in interface IntBranchingDecision
public final void setBranchIndex(int branchIndex)
public final void incrementBranchIndex()
public final int getBranchingValue()
IntBranchingDecision
getBranchingValue
in interface IntBranchingDecision
public final void setBranchingValue(int branchingValue)
IntBranchingDecision
setBranchingValue
in interface IntBranchingDecision
public final Object getBranchingObject()
IntBranchingDecision
getBranchingObject
in interface IntBranchingDecision
public final IntDomainVar getBranchingIntVar()
IntBranchingDecision
getBranchingIntVar
in interface IntBranchingDecision
public final SetVar getBranchingSetVar()
IntBranchingDecision
getBranchingSetVar
in interface IntBranchingDecision
public final RealVar getBranchingRealVar()
IntBranchingDecision
getBranchingRealVar
in interface IntBranchingDecision
public final void setBranchingObject(Object branchingObject)
public void clear()
public IntBranchingTrace copy()
public final void setIntVal() throws ContradictionException
IntBranchingDecision
setIntVal
in interface IntBranchingDecision
ContradictionException
public final void remIntVal() throws ContradictionException
IntBranchingDecision
remIntVal
in interface IntBranchingDecision
ContradictionException
public final void setValInSet() throws ContradictionException
IntBranchingDecision
setValInSet
in interface IntBranchingDecision
ContradictionException
public final void setValOutSet() throws ContradictionException
IntBranchingDecision
setValOutSet
in interface IntBranchingDecision
ContradictionException
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |