Modifier and Type | Class and Description |
---|---|
class |
LargeNeighborhoodSearch
How to branch a Large Neighborhood Search ?
|
Modifier and Type | Class and Description |
---|---|
class |
NogoodFromRestarts
A constraint for the specific Nogood store designed to store ONLY positive decisions.
|
class |
RestartManager
|
class |
SearchMonitorList
|
Modifier and Type | Class and Description |
---|---|
class |
MeasuresRecorder
Object which stores resolution information to get statistics
|
Modifier and Type | Class and Description |
---|---|
class |
ActivityBased
Implementation of the search described in:
"Activity-Based Search for Black-Box Constraint Propagramming Solver",
Laurent Michel and Pascal Van Hentenryck, CPAIOR12.
|
class |
ImpactBased
Implementation of the search described in:
"Impact-Based Search Strategies for Constraint Programming",
Philippe Refalo, CP2004.
|
Modifier and Type | Class and Description |
---|---|
class |
ConflictOrdering
Conflict Ordering Search
by S.Gay, R.Hartert, C.Lecoutre and P.Schaus
|
class |
LastConflict
Last Conflict heuristic
Composite heuristic which hacks a mainStrategy by forcing the
use of variables involved in recent conflicts
|
class |
LastConflict_old
Deprecated.
|
Copyright © 2015. All rights reserved.