TPTPWorld

Class TPTPParser

java.lang.Object

TPTPWorld.TPTPParser

public class TPTPParser
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	TPTPParser.Symbol
static class	TPTPParser.SymbolComparator

Field Summary

Fields

Modifier and Type	Field and Description
Hashtable<String,TPTPFormula>	ftable
Vector<SimpleTptpParserOutput.TopLevelItem>	Items

Constructor Summary

Constructors

Constructor and Description
TPTPParser(BufferedReader reader)

Method Summary

Modifier and Type	Method and Description
static void	checkArguments(String[] args)
static BufferedReader	createReader(String arg)
static void	gatherParents(SimpleTptpParserOutput.Source source, Vector<String> parents)
static String	getName(SimpleTptpParserOutput.TopLevelItem item)
static TreeSet<TPTPParser.Symbol>	getSymbolList(ArrayList<Binding> bindings)
static TreeSet<TPTPParser.Symbol>	getSymbolList(BufferedReader reader)
static TreeSet<TPTPParser.Symbol>	getSymbolList(String filename)
static String	getType(SimpleTptpParserOutput.TopLevelItem item)
static ArrayList<String>	identifyClauseVariables(SimpleTptpParserOutput.Clause clause, ArrayList<String> variables)
static ArrayList<String>	identifyFormulaVariables(SimpleTptpParserOutput.Formula formula, ArrayList<String> variables)
static ArrayList<String>	identifyQuantifiedVariables(SimpleTptpParserOutput.Formula formula, ArrayList<String> variables)
static ArrayList<String>	identifyTermVariables(SimpleTptpParserOutput.Formula.Atomic atom, ArrayList<String> variables)
static ArrayList<String>	identifyVariables(TPTPFormula formula)
static void	main(String[] args)
static TPTPParser	parse(BufferedReader reader)

Methods inherited from class java.lang.Object

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

Field Detail

ftable

public Hashtable<String,TPTPFormula> ftable

Items

public Vector<SimpleTptpParserOutput.TopLevelItem> Items

Constructor Detail

TPTPParser

public TPTPParser(BufferedReader reader)
           throws Exception

Throws:

Exception

Method Detail

checkArguments

public static void checkArguments(String[] args)

createReader

public static BufferedReader createReader(String arg)
                                   throws Exception

Throws:

Exception

parse

public static TPTPParser parse(BufferedReader reader)
                        throws Exception

Throws:

Exception

gatherParents

public static void gatherParents(SimpleTptpParserOutput.Source source,
                                 Vector<String> parents)

getType

public static String getType(SimpleTptpParserOutput.TopLevelItem item)

getName

public static String getName(SimpleTptpParserOutput.TopLevelItem item)

identifyTermVariables

public static ArrayList<String> identifyTermVariables(SimpleTptpParserOutput.Formula.Atomic atom,
                                                      ArrayList<String> variables)

identifyQuantifiedVariables

public static ArrayList<String> identifyQuantifiedVariables(SimpleTptpParserOutput.Formula formula,
                                                            ArrayList<String> variables)

identifyFormulaVariables

public static ArrayList<String> identifyFormulaVariables(SimpleTptpParserOutput.Formula formula,
                                                         ArrayList<String> variables)

identifyClauseVariables

public static ArrayList<String> identifyClauseVariables(SimpleTptpParserOutput.Clause clause,
                                                        ArrayList<String> variables)

identifyVariables

public static ArrayList<String> identifyVariables(TPTPFormula formula)

getSymbolList

public static TreeSet<TPTPParser.Symbol> getSymbolList(BufferedReader reader)
                                                throws Exception

Throws:

Exception

getSymbolList

public static TreeSet<TPTPParser.Symbol> getSymbolList(String filename)
                                                throws Exception

Throws:

Exception

getSymbolList

public static TreeSet<TPTPParser.Symbol> getSymbolList(ArrayList<Binding> bindings)
                                                throws Exception

Throws:

Exception

main

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

Throws:

Exception