|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IVarSelector
an interface for objects controlling the selection of a variable (for heuristic purposes)
Method Summary | |
---|---|
IntBranching |
getBranching()
each IVarSelector is associated to a branching strategy |
AbstractVar |
selectVar()
the IVarSelector can be asked to return a variable |
Method Detail |
---|
IntBranching getBranching()
AbstractVar selectVar()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |