TPTPWorld

Class AnswerFinder

java.lang.Object

TPTPWorld.AnswerFinder

public class AnswerFinder
extends Object

Constructor Summary

Constructors

Constructor and Description
AnswerFinder()

Method Summary

Modifier and Type	Method and Description
static String	findProof(String problem, String systemsDir)
static String	findProof(String problem, String system, String systemsDir)
static String	findProofWithAnswers(BufferedReader reader, String systemsDir)
static String	findProofWithAnswers(String tptp, String systemsDir)
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Detail

AnswerFinder

public AnswerFinder()

Method Detail

findProof

public static String findProof(String problem,
                               String systemsDir)
                        throws Exception

Throws:

Exception

findProof

public static String findProof(String problem,
                               String system,
                               String systemsDir)
                        throws Exception

Throws:

Exception

findProofWithAnswers

public static String findProofWithAnswers(String tptp,
                                          String systemsDir)

findProofWithAnswers

public static String findProofWithAnswers(BufferedReader reader,
                                          String systemsDir)

main

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

Throws:

Exception