org.semanticweb.HermiT.cli
Class CommandLine.SatisfiabilityAction

java.lang.Object
  extended by org.semanticweb.HermiT.cli.CommandLine.SatisfiabilityAction
All Implemented Interfaces:
CommandLine.Action
Enclosing class:
CommandLine

protected static class CommandLine.SatisfiabilityAction
extends java.lang.Object
implements CommandLine.Action


Constructor Summary
CommandLine.SatisfiabilityAction(java.lang.String c)
           
 
Method Summary
 void run(Reasoner hermit, CommandLine.StatusOutput status, java.io.PrintWriter output, boolean ignoreOntologyPrefixes)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CommandLine.SatisfiabilityAction

public CommandLine.SatisfiabilityAction(java.lang.String c)
Method Detail

run

public void run(Reasoner hermit,
                CommandLine.StatusOutput status,
                java.io.PrintWriter output,
                boolean ignoreOntologyPrefixes)
Specified by:
run in interface CommandLine.Action