|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
AbstractDomOverWDegBinBranching | |
AbstractDomOverWDegBranching | |
DomOverWDegBinBranchingNew | |
DomOverWDegBranchingNew | History: 2008-04-23 : Creation : dom / wdeg needs to be a branching not just an heuristic to allow to deal with backtracking events ! |
DomWDegUtils | computation of the weighted degrees of variables and number of failures of constraints |
TaskOverWDegBinBranching |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |