org.semanticweb.HermiT.cli
Class CommandLine.EntailsAction

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

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


Constructor Summary
CommandLine.EntailsAction(Configuration config, org.semanticweb.owlapi.model.IRI conclusionIRI)
           
 
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.EntailsAction

public CommandLine.EntailsAction(Configuration config,
                                 org.semanticweb.owlapi.model.IRI conclusionIRI)
Method Detail

run

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