Uses of Interface
org.sat4j.tools.IVisualizationTool

Packages that use IVisualizationTool

org.sat4j.tools

Tools to be used on top of an ISolver.

Uses of IVisualizationTool in org.sat4j.tools

Classes in org.sat4j.tools that implement IVisualizationTool

class

FileBasedVisualizationTool

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

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)