Package | Description |
---|---|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
org.sat4j.minisat.orders |
Various heuristics to select the next variable to branch on.
|
org.sat4j.pb.orders |
Various heuristics for the next variable to branch on.
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
Modifier and Type | Method and Description |
---|---|
IPhaseSelectionStrategy |
IOrder.getPhaseSelectionStrategy() |
Modifier and Type | Method and Description |
---|---|
void |
IOrder.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy) |
Modifier and Type | Class and Description |
---|---|
class |
NegativeLiteralSelectionStrategy |
class |
PhaseCachingAutoEraseStrategy |
class |
PhaseInLastLearnedClauseSelectionStrategy
Keeps record of the phase of a variable in the lastest recorded clause.
|
class |
PositiveLiteralSelectionStrategy |
class |
RandomLiteralSelectionStrategy
The variable selection strategy randomly picks one phase, either positive or
negative.
|
class |
RSATLastLearnedClausesPhaseSelectionStrategy
Keeps track of the phase of the latest assignment.
|
class |
RSATPhaseSelectionStrategy
Keeps track of the phase of the latest assignment.
|
class |
UserFixedPhaseSelectionStrategy
Selection strategy where the phase selection is decided at init time and is
not updated during the search.
|
Modifier and Type | Field and Description |
---|---|
protected IPhaseSelectionStrategy |
VarOrderHeap.phaseStrategy |
Modifier and Type | Method and Description |
---|---|
IPhaseSelectionStrategy |
VarOrderHeap.getPhaseSelectionStrategy() |
IPhaseSelectionStrategy |
RandomWalkDecorator.getPhaseSelectionStrategy() |
IPhaseSelectionStrategy |
TabuListDecorator.getPhaseSelectionStrategy() |
Modifier and Type | Method and Description |
---|---|
void |
VarOrderHeap.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)
Change the selection strategy.
|
void |
RandomWalkDecorator.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy) |
void |
TabuListDecorator.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy) |
Constructor and Description |
---|
VarOrderHeap(IPhaseSelectionStrategy strategy) |
Constructor and Description |
---|
VarOrderHeapObjective(IPhaseSelectionStrategy strategy) |
Modifier and Type | Class and Description |
---|---|
class |
RemoteControlStrategy
Strategy used by the solver when launched with the remote control.
|
Modifier and Type | Method and Description |
---|---|
IPhaseSelectionStrategy |
RemoteControlStrategy.getPhaseSelectionStrategy() |
Modifier and Type | Method and Description |
---|---|
void |
RemoteControlStrategy.setPhaseSelectionStrategy(IPhaseSelectionStrategy phaseSelectionStrategy) |
void |
DetailedCommandPanel.setPhaseSelectionStrategy(IPhaseSelectionStrategy phase) |
void |
SolverController.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.