Class | Description |
---|---|
AbstractStrategy<V extends Variable> |
An
AbstractStrategy does not implicitly advance to the next decision on
getDecision() (or getOppositeDecision() ) invokation. |
ConflictOrdering |
Conflict Ordering Search
by S.Gay, R.Hartert, C.Lecoutre and P.Schaus
|
FindAndProve<V extends Variable> |
Enables to switch from one heuristic to another once a solution has been found
|
GenerateAndTest |
A strategy, dedicated to IntVars, that simulates a Generate and Test behavior through a specific internal decision.
|
IntStrategy |
Class to perform branching decisions over integer variables
|
LastConflict |
Last Conflict heuristic
Composite heuristic which hacks a mainStrategy by forcing the
use of variables involved in recent conflicts
|
LastConflict_old | Deprecated |
Once |
|
RealStrategy |
|
SetStrategy |
Strategy for branching on set variables
|
StrategiesSequencer |
A
StrategiesSequencer is class for AbstractStrategy composition. |
Copyright © 2015. All rights reserved.