org.semanticweb.HermiT.debugger.commands
Class UnprocessedDisjunctionsCommand
java.lang.Object
org.semanticweb.HermiT.debugger.commands.AbstractCommand
org.semanticweb.HermiT.debugger.commands.UnprocessedDisjunctionsCommand
- All Implemented Interfaces:
- DebuggerCommand
public class UnprocessedDisjunctionsCommand
- extends AbstractCommand
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
UnprocessedDisjunctionsCommand
public UnprocessedDisjunctionsCommand(Debugger debugger)
getCommandName
public String getCommandName()
getDescription
public String[] getDescription()
printHelp
public void printHelp(PrintWriter writer)
execute
public void execute(String[] args)
Copyright © 2012. All Rights Reserved.