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

Packages that use IOrder

Package	Description
org.sat4j.minisat	Implementation of the MiniSAT specification in Java.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.learning	Various learning strategies.
org.sat4j.minisat.orders	Various heuristics to select the next variable to branch on.
org.sat4j.pb.core	Implementations of pseudo boolean solvers
org.sat4j.pb.orders	Various heuristics for the next variable to branch on.

Uses of IOrder in org.sat4j.minisat

Methods in org.sat4j.minisat with parameters of type IOrder

Modifier and Type	Method and Description
static Solver<DataStructureFactory>	SolverFactory.newMiniLearning(DataStructureFactory dsf, IOrder order)

Uses of IOrder in org.sat4j.minisat.core

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

Modifier and Type	Method and Description
IOrder	ICDCL.getOrder()
IOrder	Solver.getOrder()

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

Modifier and Type	Method and Description
void	ICDCL.setOrder(IOrder h)
void	Solver.setOrder(IOrder h)

Constructors in org.sat4j.minisat.core with parameters of type IOrder

Constructor and Description
Solver(LearningStrategy<D> learner, D dsf, IOrder order, RestartStrategy restarter) creates a Solver without LearningListener.
Solver(LearningStrategy<D> learner, D dsf, SearchParams params, IOrder order, RestartStrategy restarter)
Solver(LearningStrategy<D> learner, D dsf, SearchParams params, IOrder order, RestartStrategy restarter, ILogAble logger)

Uses of IOrder in org.sat4j.minisat.learning

Methods in org.sat4j.minisat.learning with parameters of type IOrder

Modifier and Type	Method and Description
void	ActiveLearning.setOrder(IOrder order)

Uses of IOrder in org.sat4j.minisat.orders

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

Modifier and Type	Class and Description
class	PureOrder
class	RandomWalkDecorator
class	SubsetVarOrder
class	TabuListDecorator Uses a tabu list to prevent the solver to
class	VarOrderHeap

Uses of IOrder in org.sat4j.pb.core

Constructors in org.sat4j.pb.core with parameters of type IOrder

Constructor and Description
PBSolver(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)
PBSolver(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)
PBSolverCautious(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)
PBSolverCautious(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, int bound)
PBSolverClause(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order)
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)
PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)
PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, long bound)
PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order)
PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)
PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)
PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)
PBSolverWithImpliedClause(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

Uses of IOrder in org.sat4j.pb.orders

Subinterfaces of IOrder in org.sat4j.pb.orders

Modifier and Type	Interface and Description
interface	IOrderObjective

Classes in org.sat4j.pb.orders that implement IOrder

Modifier and Type	Class and Description
class	RandomWalkDecoratorObjective
class	VarOrderHeapObjective