Uses of Interface
org.semanticweb.HermiT.debugger.commands.DebuggerCommand

Packages that use DebuggerCommand
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.debugger.commands   
 

Uses of DebuggerCommand in org.semanticweb.HermiT.debugger
 

Fields in org.semanticweb.HermiT.debugger with type parameters of type DebuggerCommand
protected  java.util.Map<java.lang.String,DebuggerCommand> Debugger.m_commandsByName
           
 

Methods in org.semanticweb.HermiT.debugger that return DebuggerCommand
 DebuggerCommand Debugger.getCommand(java.lang.String commandName)
           
 

Methods in org.semanticweb.HermiT.debugger that return types with arguments of type DebuggerCommand
 java.util.Map<java.lang.String,DebuggerCommand> Debugger.getDebuggerCommands()
           
 

Methods in org.semanticweb.HermiT.debugger with parameters of type DebuggerCommand
protected  void Debugger.registerCommand(DebuggerCommand command)
           
 

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

Classes in org.semanticweb.HermiT.debugger.commands that implement DebuggerCommand
 class AbstractCommand
           
 class ActiveNodesCommand
           
 class AgainCommand
           
 class BreakpointTimeCommand
           
 class ClearCommand
           
 class ContinueCommand
           
 class DerivationTreeCommand
           
 class ExitCommand
           
 class ForeverCommand
           
 class HelpCommand
           
 class HistoryCommand
           
 class IsAncestorOfCommand
           
 class ModelStatsCommand
           
 class NodesForCommand
           
 class OriginStatsCommand
           
 class QueryCommand
           
 class ReuseNodeForCommand
           
 class ShowDescriptionGraphCommand
           
 class ShowDLClausesCommand
           
 class ShowExistsCommand
           
 class ShowModelCommand
           
 class ShowNodeCommand
           
 class ShowSubtreeCommand
           
 class SingleStepCommand
           
 class UnprocessedDisjunctionsCommand
           
 class WaitForCommand