Uses of Interface
org.sat4j.minisat.core.IPhaseSelectionStrategy

Packages that use IPhaseSelectionStrategy

Package	Description
org.sat4j.minisat.core
org.sat4j.minisat.orders
org.sat4j.pb.orders

Uses of IPhaseSelectionStrategy in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core that return IPhaseSelectionStrategy

Modifier and Type	Method and Description
IPhaseSelectionStrategy	IOrder.getPhaseSelectionStrategy()

Methods in org.sat4j.minisat.core with parameters of type IPhaseSelectionStrategy

Modifier and Type	Method and Description
void	IOrder.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)

Uses of IPhaseSelectionStrategy in org.sat4j.minisat.orders

Classes in org.sat4j.minisat.orders that implement IPhaseSelectionStrategy

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.

Fields in org.sat4j.minisat.orders declared as IPhaseSelectionStrategy

Modifier and Type	Field and Description
protected IPhaseSelectionStrategy	VarOrderHeap.phaseStrategy

Methods in org.sat4j.minisat.orders that return IPhaseSelectionStrategy

Modifier and Type	Method and Description
IPhaseSelectionStrategy	RandomWalkDecorator.getPhaseSelectionStrategy()
IPhaseSelectionStrategy	TabuListDecorator.getPhaseSelectionStrategy()
IPhaseSelectionStrategy	VarOrderHeap.getPhaseSelectionStrategy()

Methods in org.sat4j.minisat.orders with parameters of type IPhaseSelectionStrategy

Modifier and Type	Method and Description
void	RandomWalkDecorator.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)
void	TabuListDecorator.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)
void	VarOrderHeap.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy) Change the selection strategy.

Constructors in org.sat4j.minisat.orders with parameters of type IPhaseSelectionStrategy

Constructor and Description
VarOrderHeap(IPhaseSelectionStrategy strategy)

Uses of IPhaseSelectionStrategy in org.sat4j.pb.orders

Constructors in org.sat4j.pb.orders with parameters of type IPhaseSelectionStrategy

Constructor and Description
VarOrderHeapObjective(IPhaseSelectionStrategy strategy)