org.semanticweb.HermiT.cli
Class CommandLine.DumpClausesAction

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

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


Constructor Summary
CommandLine.DumpClausesAction(java.lang.String fileName)
           
 
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.DumpClausesAction

public CommandLine.DumpClausesAction(java.lang.String fileName)
Method Detail

run

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