org.jscience.linguistics.kif
Class ProofStep

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