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.constraints.pb	Implementations of pseudo boolean contraints.
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.

Uses of IOrder in org.sat4j.minisat

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

static <L extends ILits> Solver<L>

SolverFactory.newMiniLearning(DataStructureFactory<L> dsf, IOrder<L> order)

Uses of IOrder in org.sat4j.minisat.constraints.pb

Constructors in org.sat4j.minisat.constraints.pb with parameters of type IOrder

PBSolver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, IOrder<L> order)

PBSolver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> order)

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

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

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

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

Uses of IOrder in org.sat4j.minisat.core

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

IOrder<L>

Solver.getOrder()

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

void	Solver.setOrder(IOrder<L> h)

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

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

Solver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> 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<L> order)

Uses of IOrder in org.sat4j.minisat.orders

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

class	JWOrder
class	MyOrder
class	PureOrder
class	VarOrder<L extends ILits>
class	VarOrderHeap<L extends ILits>
class	VarOrderHeapObjective
class	VarOrderHeapRsat Heuristics that remembers the latest assignment if any as proposed in Rsat.