org.semanticweb.HermiT.debugger.commands

Interfaces

• DebuggerCommand

Classes

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