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

Packages that use IPhaseSelectionStrategy

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

Uses of IPhaseSelectionStrategy in org.sat4j.minisat.core

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

IPhaseSelectionStrategy

IOrder.getPhaseSelectionStrategy()

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

void	IOrder.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)

Uses of IPhaseSelectionStrategy in org.sat4j.minisat.orders

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

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

protected IPhaseSelectionStrategy

VarOrderHeap.phaseStrategy

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

IPhaseSelectionStrategy	VarOrderHeap.getPhaseSelectionStrategy()
IPhaseSelectionStrategy	RandomWalkDecorator.getPhaseSelectionStrategy()

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

void	VarOrderHeap.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy) Change the selection strategy.
void	RandomWalkDecorator.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)

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

VarOrderHeap(IPhaseSelectionStrategy strategy)

Uses of IPhaseSelectionStrategy in org.sat4j.pb.orders

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

VarOrderHeapObjective(IPhaseSelectionStrategy strategy)