org.jscience.linguistics.kif
Class ProofStep

java.lang.Object
  extended by org.jscience.linguistics.kif.ProofStep

public class ProofStep
extends java.lang.Object

A trivial structure to hold the elements of a proof step.


Field Summary
 java.lang.String axiom
          A String containing a valid KIF expression, that is the axiom expressing the conclusion of this proof step.
 java.lang.Integer number
          The number assigned to this proof step, initially by Vampire and then normalized by ProofStep.normalizeProofStepNumbers()
 java.util.ArrayList premises
          An ArrayList of Integer(s), which reference prior proof steps from which this axiom is derived. 0 signifies the axiom is directly from the knowledge base, rather than deduced.
 
Constructor Summary
ProofStep()
           
 
Method Summary
static java.util.ArrayList normalizeProofStepNumbers(java.util.ArrayList proofSteps)
          Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

axiom

public java.lang.String axiom
A String containing a valid KIF expression, that is the axiom expressing the conclusion of this proof step.


number

public java.lang.Integer number
The number assigned to this proof step, initially by Vampire and then normalized by ProofStep.normalizeProofStepNumbers()


premises

public java.util.ArrayList premises
An ArrayList of Integer(s), which reference prior proof steps from which this axiom is derived. 0 signifies the axiom is directly from the knowledge base, rather than deduced. Note that the numbering is what the ProofProcessor assigns, not necessarily the proof numbers returned directly from Vampire.

Constructor Detail

ProofStep

public ProofStep()
Method Detail

normalizeProofStepNumbers

public static java.util.ArrayList normalizeProofStepNumbers(java.util.ArrayList proofSteps)
Take an ArrayList of ProofSteps and renumber them consecutively starting at 1. Update the ArrayList of premises so that they reflect the renumbering.

Parameters:
proofSteps - DOCUMENT ME!
Returns:
DOCUMENT ME!