org.jscience.linguistics.kif
Class ProofProcessor

java.lang.Object
  extended by 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.