|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SolverVisualisation | |
---|---|
org.sat4j.sat | Implementation of a sat4j Launcher. |
org.sat4j.sat.visu | Implementation of different visualization for the remote control. |
Uses of SolverVisualisation in org.sat4j.sat |
---|
Methods in org.sat4j.sat with parameters of type SolverVisualisation | |
---|---|
void |
DetailedCommandPanel.setSolverVisualisation(SolverVisualisation visu)
|
Uses of SolverVisualisation in org.sat4j.sat.visu |
---|
Classes in org.sat4j.sat.visu that implement SolverVisualisation | |
---|---|
class |
GnuplotBasedSolverVisualisation
|
class |
JChartBasedSolverVisualisation
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |