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

Packages that use IOrder

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
org.sat4j.pb.orders

Uses of IOrder in org.sat4j.minisat

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

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

IOrder

Solver.getOrder()

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

void	Solver.setOrder(IOrder h)

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

Solver(AssertingClauseGenerator acg, LearningStrategy<D> learner, D dsf, IOrder order, RestartStrategy restarter)
creates a Solver without LearningListener.

Solver(AssertingClauseGenerator acg, LearningStrategy<D> learner, D dsf, SearchParams params, IOrder order, RestartStrategy restarter)

Uses of IOrder in org.sat4j.minisat.learning

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

void	ActiveLearning.setOrder(IOrder order)

Uses of IOrder in org.sat4j.minisat.orders

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

class	PureOrder
class	RandomWalkDecorator
class	VarOrderHeap

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

RandomWalkDecorator(IOrder order)

RandomWalkDecorator(IOrder order, double p)

Uses of IOrder in org.sat4j.pb.core

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

PBSolver(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)

PBSolver(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverCautious(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverCautious(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, int bound)

PBSolverClause(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverCP(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverCP(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order)

PBSolverCP(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverMerging(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverResCP(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

PBSolverResCP(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, long bound)

PBSolverResCP(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order)

PBSolverResCP(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverResolution(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)

PBSolverResolution(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverWithImpliedClause(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order)

Uses of IOrder in org.sat4j.pb.orders

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

class

VarOrderHeapObjective