TPTPWorld

Class SystemOnTPTP

java.lang.Object

TPTPWorld.SystemOnTPTP

public class SystemOnTPTP
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static String	NEW_LINE_TEXT
static String	RESULT
static String	SZS_ANSWERS_SHORT
static String	SZS_STATUS_COUNTER_SATISFIABLE
static String	SZS_STATUS_THEOREM

Constructor Summary

Constructors

Constructor and Description
SystemOnTPTP()

Method Summary

Modifier and Type	Method and Description
static void	checkSystemDirectory(String systemDir)
static String	getSystemDir()
static String	getSystemInfo()
static ArrayList<String>	getSZSAnswers(String tptp)
static ArrayList<Binding>	getSZSBindings(SimpleTptpParserOutput.TopLevelItem item, ArrayList<Binding> answers)
static ArrayList<Binding>	getSZSBindings(SimpleTptpParserOutput.TopLevelItem item, String tptp)
static ArrayList<Binding>	getSZSBindings(String conjecture, ArrayList<Binding> answers)
static ArrayList<Binding>	getSZSBindings(String conjecture, String tptp)
static int	getTPTPFormulaSize(String tptp)
static boolean	isCounterSatisfiable(String tptp)
static boolean	isTheorem(String tptp)
static ArrayList<String>	listSystems(String systemDir)
static ArrayList<String>	listSystems(String systemDir, String status)
static void	loadSystems(String systemDir)
static void	main(String[] args)
static void	printSystems(String status)
static boolean	proofExists(String tptp)
static String	SystemOnTPTP(String systemVersion, String systemDir, int limit, String quietFlag, String format, String filename)
static int	timeUsed(String tptp)

Methods inherited from class java.lang.Object

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

Field Detail

NEW_LINE_TEXT

public static final String NEW_LINE_TEXT

See Also:

Constant Field Values

SZS_ANSWERS_SHORT

public static String SZS_ANSWERS_SHORT

SZS_STATUS_THEOREM

public static String SZS_STATUS_THEOREM

SZS_STATUS_COUNTER_SATISFIABLE

public static String SZS_STATUS_COUNTER_SATISFIABLE

RESULT

public static String RESULT

Constructor Detail

SystemOnTPTP

public SystemOnTPTP()

Method Detail

checkSystemDirectory

public static void checkSystemDirectory(String systemDir)

loadSystems

public static void loadSystems(String systemDir)

listSystems

public static ArrayList<String> listSystems(String systemDir)

listSystems

public static ArrayList<String> listSystems(String systemDir,
                                            String status)

SystemOnTPTP

public static String SystemOnTPTP(String systemVersion,
                                  String systemDir,
                                  int limit,
                                  String quietFlag,
                                  String format,
                                  String filename)

getSystemDir

public static String getSystemDir()

getSystemInfo

public static String getSystemInfo()

printSystems

public static void printSystems(String status)

getTPTPFormulaSize

public static int getTPTPFormulaSize(String tptp)
                              throws Exception

Throws:

Exception

isTheorem

public static boolean isTheorem(String tptp)
                         throws Exception

Throws:

Exception

isCounterSatisfiable

public static boolean isCounterSatisfiable(String tptp)
                                    throws Exception

Throws:

Exception

proofExists

public static boolean proofExists(String tptp)
                           throws Exception

Throws:

Exception

timeUsed

public static int timeUsed(String tptp)
                    throws Exception

Throws:

Exception

getSZSAnswers

public static ArrayList<String> getSZSAnswers(String tptp)
                                       throws Exception

Throws:

Exception

getSZSBindings

public static ArrayList<Binding> getSZSBindings(String conjecture,
                                                String tptp)
                                         throws Exception

Throws:

Exception

getSZSBindings

public static ArrayList<Binding> getSZSBindings(String conjecture,
                                                ArrayList<Binding> answers)
                                         throws Exception

Throws:

Exception

getSZSBindings

public static ArrayList<Binding> getSZSBindings(SimpleTptpParserOutput.TopLevelItem item,
                                                String tptp)
                                         throws Exception

Throws:

Exception

getSZSBindings

public static ArrayList<Binding> getSZSBindings(SimpleTptpParserOutput.TopLevelItem item,
                                                ArrayList<Binding> answers)
                                         throws Exception

Throws:

Exception

main

public static void main(String[] args)
                 throws Exception

Throws:

Exception