Uses of Class
org.semanticweb.HermiT.debugger.Debugger

Packages that use Debugger

Package	Description
org.semanticweb.HermiT.debugger
org.semanticweb.HermiT.debugger.commands

Uses of Debugger in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger with parameters of type Debugger

Modifier and Type	Method and Description
static void	Printing.printNodeData(Debugger debugger, Node node, PrintWriter writer)

Uses of Debugger in org.semanticweb.HermiT.debugger.commands

Constructors in org.semanticweb.HermiT.debugger.commands with parameters of type Debugger

Constructor and Description
AbstractCommand(Debugger debugger)
ActiveNodesCommand(Debugger debugger)
AgainCommand(Debugger debugger)
BreakpointTimeCommand(Debugger debugger)
ClearCommand(Debugger debugger)
ContinueCommand(Debugger debugger)
DerivationTreeCommand(Debugger debugger)
ExitCommand(Debugger debugger)
ForeverCommand(Debugger debugger)
HelpCommand(Debugger debugger)
HistoryCommand(Debugger debugger)
IsAncestorOfCommand(Debugger debugger)
ModelStatsCommand(Debugger debugger)
NodesForCommand(Debugger debugger)
OriginStatsCommand(Debugger debugger)
QueryCommand(Debugger debugger)
ReuseNodeForCommand(Debugger debugger)
ShowDescriptionGraphCommand(Debugger debugger)
ShowDLClausesCommand(Debugger debugger)
ShowExistsCommand(Debugger debugger)
ShowModelCommand(Debugger debugger)
ShowNodeCommand(Debugger debugger)
ShowSubtreeCommand(Debugger debugger)
SingleStepCommand(Debugger debugger)
UnprocessedDisjunctionsCommand(Debugger debugger)
WaitForCommand(Debugger debugger)