Package org.semanticweb.HermiT.debugger.commands

Interface Summary

Interface	Description
DebuggerCommand	DebuggerCommand.

Class Summary

Class	Description
AbstractCommand	AbstractCommand.
ActiveNodesCommand	ActiveNodesCommand.
AgainCommand	AgainCommand.
BreakpointTimeCommand	BreakpointTimeCommand.
ClearCommand	ClearCommand.
ContinueCommand	ContinueCommand.
DerivationTreeCommand	DerivationTreeCommand.
ExitCommand	ExitCommand
ForeverCommand	ForeverCommand.
HelpCommand	HelpCommand.
HistoryCommand	HistoryCommand.
IsAncestorOfCommand	IsAncestorOfCommand.
ModelStatsCommand	ModelStatsCommand.
NodesForCommand	NodesForCommand.
OriginStatsCommand	OriginStatsCommand.
QueryCommand	QueryCommand.
ReuseNodeForCommand	ReuseNodeForCommand.
ShowDescriptionGraphCommand	ShowDescriptionGraphCommand.
ShowDLClausesCommand	ShowDLClausesCommand.
ShowExistsCommand	ShowExistsCommand.
ShowModelCommand	ShowModelCommand.
ShowNodeCommand	ShowNodeCommand
ShowSubtreeCommand	ShowSubtreeCommand.
SingleStepCommand	SingleStepCommand
SubtreeViewer
UnprocessedDisjunctionsCommand	UnprocessedDisjunctionsCommand.
WaitForCommand	WaitForCommand.