|
|||||||||
| 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 | ||||||||