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	Various heuristics for the next variable to branch on.
org.sat4j.sat	Implementation of a sat4j Launcher.

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	TabuListDecorator.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	TabuListDecorator.setPhaseSelectionStrategy(IPhaseSelectionStrategy 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)

Uses of IPhaseSelectionStrategy in org.sat4j.sat

Classes in org.sat4j.sat that implement IPhaseSelectionStrategy

class

RemoteControlStrategy Strategy used by the solver when launched with the remote control.

Methods in org.sat4j.sat that return IPhaseSelectionStrategy

IPhaseSelectionStrategy

RemoteControlStrategy.getPhaseSelectionStrategy()

Methods in org.sat4j.sat with parameters of type IPhaseSelectionStrategy

void	SolverController.setPhaseSelectionStrategy(IPhaseSelectionStrategy strategy)
void	RemoteControlStrategy.setPhaseSelectionStrategy(IPhaseSelectionStrategy phaseSelectionStrategy)
void	DetailedCommandPanel.setPhaseSelectionStrategy(IPhaseSelectionStrategy phase)