|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use SearchListener | |
|---|---|
| org.sat4j.minisat.core | Implementation of the MiniSAT solver skeleton. |
| Uses of SearchListener in org.sat4j.minisat.core |
|---|
| Classes in org.sat4j.minisat.core that implement SearchListener | |
|---|---|
class |
DotSearchListener
Class allowing to express the search as a tree in the dot language. |
class |
TextOutputListener
Debugging Search Listener allowing to follow the search in a textual way. |
| Methods in org.sat4j.minisat.core with parameters of type SearchListener | |
|---|---|
void |
Solver.setSearchListener(SearchListener sl)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||