public class ProofProcessor
extends java.lang.Object
Constructor and Description |
---|
ProofProcessor(java.util.ArrayList<BasicXMLelement> xmlInput)
Take an ArrayList of BasicXMLelement (s) and process them as
needed
|
Modifier and Type | Method and Description |
---|---|
boolean |
equalsAnswer(int answerNum,
java.lang.String expectedAnswer)
Compare the answer with the expected answer.
|
static void |
main(java.lang.String[] args)
A main method, used only for testing.
|
int |
numAnswers()
Return the number of answers contained in this proof.
|
static java.lang.String |
removeNestedAnswerClause(java.lang.String st)
Remove the $answer clause that eProver returns, including any
surrounding connective.
|
static java.util.ArrayList<java.lang.String> |
returnSkolemStmt(java.lang.String skolem,
java.util.ArrayList<ProofStep> proofSteps)
Looks for skolem function from proofsteps if query is not given.
|
static void |
testFormatProof() |
static void |
testRemoveAnswer() |
static java.lang.String |
tptpProof(java.util.ArrayList<ProofStep> proofSteps)
Convert XML proof to TPTP format
|
public ProofProcessor(java.util.ArrayList<BasicXMLelement> xmlInput)
public boolean equalsAnswer(int answerNum, java.lang.String expectedAnswer)
public static java.util.ArrayList<java.lang.String> returnSkolemStmt(java.lang.String skolem, java.util.ArrayList<ProofStep> proofSteps)
public static java.lang.String removeNestedAnswerClause(java.lang.String st)
public int numAnswers()
public static java.lang.String tptpProof(java.util.ArrayList<ProofStep> proofSteps)
public static void testRemoveAnswer()
public static void testFormatProof()
public static void main(java.lang.String[] args)