|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IntBranchingDecision
Method Summary | |
---|---|
int |
getBranchIndex()
get the index of the current alternative (branch). |
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 |
remIntVal()
apply the integer removal decision, i.e. remove the branching value from the domain of the branching int var. |
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. |
Method Detail |
---|
Object getBranchingObject()
int getBranchingValue()
void setBranchingValue(int branchingValue)
int getBranchIndex()
IntDomainVar getBranchingIntVar()
SetVar getBranchingSetVar()
RealVar getBranchingRealVar()
void setIntVal() throws ContradictionException
ContradictionException
void remIntVal() throws ContradictionException
ContradictionException
void setValInSet() throws ContradictionException
ContradictionException
void setValOutSet() throws ContradictionException
ContradictionException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |