TPTPWorld

Class InterfaceTPTP

java.lang.Object

TPTPWorld.InterfaceTPTP

public class InterfaceTPTP
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	BuiltInDir
static boolean	builtInExists
static String	defaultSystemBuiltIn
static String	defaultSystemLocal
static String	defaultSystemRemote
static String	SoTPTP
static ArrayList<String>	systemListBuiltIn
static ArrayList<String>	systemListLocal
static ArrayList<String>	systemListRemote
static String	SystemOnTPTPFormReplyURL
static String	tptp4X
static String	TPTPWorld
static boolean	tptpWorldExists

Constructor Summary

Constructors

Constructor and Description
InterfaceTPTP()

Method Summary

Modifier and Type	Method and Description
static TPTPWorld.InterfaceTPTP.ATPResult	callBuiltInTPTP(String systemChosen, String problemFile, int timeout, String quietFlag, String tstpFormat)
static TPTPWorld.InterfaceTPTP.ATPResult	callLocalTPTP(String systemChosen, String problemFile, int timeout, String quietFlag, String tstpFormat)
static TPTPWorld.InterfaceTPTP.ATPResult	callRemoteTPTP(String systemChosen, String problemFile, int timeout, String quietFlag, String tstpFormat)
static String	callTPTP(String location, String systemChosen, String problemFile, int timeout, String quietFlag, String tstpFormat)
static void	init()
static void	main()
static String	queryTPTP(String stmt, int timeout, int maxAnswers, String lineHtml, String systemChosen, String location, String quietFlag, String kbName, String language)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

TPTPWorld

public static String TPTPWorld

BuiltInDir

public static String BuiltInDir

defaultSystemBuiltIn

public static String defaultSystemBuiltIn

defaultSystemLocal

public static String defaultSystemLocal

defaultSystemRemote

public static String defaultSystemRemote

SoTPTP

public static String SoTPTP

tptp4X

public static String tptp4X

tptpWorldExists

public static boolean tptpWorldExists

builtInExists

public static boolean builtInExists

systemListBuiltIn

public static ArrayList<String> systemListBuiltIn

systemListLocal

public static ArrayList<String> systemListLocal

systemListRemote

public static ArrayList<String> systemListRemote

SystemOnTPTPFormReplyURL

public static String SystemOnTPTPFormReplyURL

Constructor Detail

InterfaceTPTP

public InterfaceTPTP()

Method Detail

init

public static void init()

callTPTP

public static String callTPTP(String location,
                              String systemChosen,
                              String problemFile,
                              int timeout,
                              String quietFlag,
                              String tstpFormat)
                       throws Exception

Throws:

Exception

callRemoteTPTP

public static TPTPWorld.InterfaceTPTP.ATPResult callRemoteTPTP(String systemChosen,
                                                               String problemFile,
                                                               int timeout,
                                                               String quietFlag,
                                                               String tstpFormat)

callLocalTPTP

public static TPTPWorld.InterfaceTPTP.ATPResult callLocalTPTP(String systemChosen,
                                                              String problemFile,
                                                              int timeout,
                                                              String quietFlag,
                                                              String tstpFormat)

callBuiltInTPTP

public static TPTPWorld.InterfaceTPTP.ATPResult callBuiltInTPTP(String systemChosen,
                                                                String problemFile,
                                                                int timeout,
                                                                String quietFlag,
                                                                String tstpFormat)

queryTPTP

public static String queryTPTP(String stmt,
                               int timeout,
                               int maxAnswers,
                               String lineHtml,
                               String systemChosen,
                               String location,
                               String quietFlag,
                               String kbName,
                               String language)
                        throws Exception

Throws:

Exception

main

public static void main()