Uses of Interface
org.sat4j.tools.IVisualizationTool

Packages that use IVisualizationTool

Package	Description
org.sat4j.sat.visu	Implementation of different visualization for the remote control.
org.sat4j.tools	Tools to be used on top of an ISolver.

Uses of IVisualizationTool in org.sat4j.sat.visu

Classes in org.sat4j.sat.visu that implement IVisualizationTool

Modifier and Type	Class and Description
class	ChartBasedVisualizationTool

Uses of IVisualizationTool in org.sat4j.tools

Classes in org.sat4j.tools that implement IVisualizationTool

Modifier and Type	Class and Description
class	FileBasedVisualizationTool

Constructors in org.sat4j.tools with parameters of type IVisualizationTool

Constructor and Description
ConflictDepthTracing(IVisualizationTool conflictDepthVisu, IVisualizationTool conflictDepthRestartVisu, IVisualizationTool conflictDepthCleanVisu)
ConflictLevelTracing(IVisualizationTool visuTool, IVisualizationTool restartVisuTool, IVisualizationTool cleanTool)
DecisionLevelTracing(IVisualizationTool visuTool)
DecisionTracing(IVisualizationTool positiveVisu, IVisualizationTool negativeVisu, IVisualizationTool restartVisu, IVisualizationTool cleanVisu)
HeuristicsTracing(IVisualizationTool visuTool)
LBDTracing(IVisualizationTool visuTool)
LearnedClauseSizeTracing(IVisualizationTool visuTool)
LearnedClausesSizeTracing(IVisualizationTool visuTool, IVisualizationTool restartTool, IVisualizationTool cleanTool)
LearnedTracing(IVisualizationTool visuTool)
SpeedTracing(IVisualizationTool visuTool, IVisualizationTool cleanVisuTool, IVisualizationTool restartVisuTool)