pellet
Class PelletUnsatisfiable

java.lang.Object
  extended by pellet.PelletCmdApp
      extended by pellet.PelletUnsatisfiable

public class PelletUnsatisfiable
extends PelletCmdApp

Title: PelletClassify

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Markus Stocker

Field Summary
 
Fields inherited from class pellet.PelletCmdApp
logger
 
Constructor Summary
PelletUnsatisfiable()
           
 
Method Summary
 java.lang.String getAppCmd()
           
 java.lang.String getAppId()
           
 PelletCmdOptions getOptions()
           
 void run()
           
 
Methods inherited from class pellet.PelletCmdApp
finish, getGlobalOptions, getIgnoreImportsOption, getInputFormatOption, getLoaderOption, help, parseArgs, requiresInputFiles
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PelletUnsatisfiable

public PelletUnsatisfiable()
Method Detail

getAppCmd

public java.lang.String getAppCmd()
Specified by:
getAppCmd in class PelletCmdApp

getAppId

public java.lang.String getAppId()
Specified by:
getAppId in class PelletCmdApp

getOptions

public PelletCmdOptions getOptions()
Specified by:
getOptions in class PelletCmdApp

run

public void run()
Specified by:
run in class PelletCmdApp


Copyright © 2004 Evren Sirin. All Rights Reserved.