org.jscience.linguistics.kif
Class ProofProcessor

java.lang.Object
  org.jscience.linguistics.kif.ProofProcessor

public class ProofProcessor
extends java.lang.Object

Process results from the Vampire inference engine.

Constructor Summary

ProofProcessor(java.util.ArrayList xmlInput)
************************************************************** Take an ArrayList of BasicXMLelement (s) and process them as needed

Method Summary

boolean	equalsAnswer(int answerNum, java.lang.String expectedAnswer) ************************************************************** Compare the answer with the expected answer.
java.util.ArrayList	getProofSteps(int answerNum) ************************************************************** Return an ArrayList of ProofSteps.
int	numAnswers() ************************************************************** Return the number of answers contained in this proof.
java.lang.String	returnAnswer(int answerNum) ************************************************************** Return the variable name and binding for the given answer.

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofProcessor

public ProofProcessor(java.util.ArrayList xmlInput)

************************************************************** Take an ArrayList of BasicXMLelement (s) and process them as needed

Method Detail

equalsAnswer

public boolean equalsAnswer(int answerNum,
                            java.lang.String expectedAnswer)

************************************************************** Compare the answer with the expected answer. Note that this method is very unforgiving in that it requires the exact same format for the expected answer, including the order of variables.

returnAnswer

public java.lang.String returnAnswer(int answerNum)

************************************************************** Return the variable name and binding for the given answer.

getProofSteps

public java.util.ArrayList getProofSteps(int answerNum)

************************************************************** Return an ArrayList of ProofSteps. It expects that the member variable xml will contain a set of tags.

numAnswers

public int numAnswers()

************************************************************** Return the number of answers contained in this proof.