Uses of Class
TPTPWorld.TPTPParser

Packages that use TPTPParser

Package	Description
TPTPWorld

Uses of TPTPParser in TPTPWorld

Methods in TPTPWorld that return TPTPParser

Modifier and Type	Method and Description
static TPTPParser	TPTPParser.parse(BufferedReader reader)

Methods in TPTPWorld with parameters of type TPTPParser

Modifier and Type	Method and Description
static boolean	AnswerExtractor.extractAnswers(TPTPParser parser)