Uses of Class
TPTPWorld.TPTPParser.Symbol

Packages that use TPTPParser.Symbol

Package	Description
TPTPWorld

Uses of TPTPParser.Symbol in TPTPWorld

Methods in TPTPWorld that return types with arguments of type TPTPParser.Symbol

Modifier and Type	Method and Description
static TreeSet<TPTPParser.Symbol>	TPTPParser.getSymbolList(ArrayList<Binding> bindings)
static TreeSet<TPTPParser.Symbol>	TPTPParser.getSymbolList(BufferedReader reader)
static TreeSet<TPTPParser.Symbol>	TPTPParser.getSymbolList(String filename)
static TreeSet<TPTPParser.Symbol>	LooksDifferent.getUniqueSymbols(TreeSet symbolsSoFar, TreeSet newSymbols)