|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 ISolver |
SolverFactory.newMiniLearning(DataStructureFactory dsf,
IOrder 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 learner,
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 learner,
DataStructureFactory dsf,
IOrder order)
creates a Solver without LearningListener. |
|
Solver(AssertingClauseGenerator acg,
LearningStrategy learner,
DataStructureFactory dsf,
SearchParams params,
IOrder order)
|
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 |
JWOrder
|
class |
MyOrder
|
class |
PureOrder
|
class |
VarOrder
|
class |
VarOrderHeap
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |