| Package | Description |
|---|---|
| org.semanticweb.HermiT.debugger | |
| org.semanticweb.HermiT.debugger.commands |
| Modifier and Type | Method and Description |
|---|---|
DebuggerCommand |
Debugger.getCommand(String commandName) |
| Modifier and Type | Method and Description |
|---|---|
Map<String,DebuggerCommand> |
Debugger.getDebuggerCommands() |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractCommand
AbstractCommand.
|
class |
ActiveNodesCommand
ActiveNodesCommand.
|
class |
AgainCommand
AgainCommand.
|
class |
BreakpointTimeCommand
BreakpointTimeCommand.
|
class |
ClearCommand
ClearCommand.
|
class |
ContinueCommand
ContinueCommand.
|
class |
DerivationTreeCommand
DerivationTreeCommand.
|
class |
ExitCommand
ExitCommand
|
class |
ForeverCommand
ForeverCommand.
|
class |
HelpCommand
HelpCommand.
|
class |
HistoryCommand
HistoryCommand.
|
class |
IsAncestorOfCommand
IsAncestorOfCommand.
|
class |
ModelStatsCommand
ModelStatsCommand.
|
class |
NodesForCommand
NodesForCommand.
|
class |
OriginStatsCommand
OriginStatsCommand.
|
class |
QueryCommand
QueryCommand.
|
class |
ReuseNodeForCommand
ReuseNodeForCommand.
|
class |
ShowDescriptionGraphCommand
ShowDescriptionGraphCommand.
|
class |
ShowDLClausesCommand
ShowDLClausesCommand.
|
class |
ShowExistsCommand
ShowExistsCommand.
|
class |
ShowModelCommand
ShowModelCommand.
|
class |
ShowNodeCommand
ShowNodeCommand
|
class |
ShowSubtreeCommand
ShowSubtreeCommand.
|
class |
SingleStepCommand
SingleStepCommand
|
class |
UnprocessedDisjunctionsCommand
UnprocessedDisjunctionsCommand.
|
class |
WaitForCommand
WaitForCommand.
|
Copyright © 2018. All rights reserved.