edu.toronto.cs.proof2
Class LeafProofStep

java.lang.Object
  extended by edu.toronto.cs.proof2.ProofStep
      extended by edu.toronto.cs.proof2.LeafProofStep

public class LeafProofStep
extends ProofStep


Constructor Summary
protected LeafProofStep(Formula _formula, ProofStep _parent)
           
 
Method Summary
 
Methods inherited from class edu.toronto.cs.proof2.ProofStep
getChildLength, getFormula, getParent, newProofStep, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LeafProofStep

protected LeafProofStep(Formula _formula,
                        ProofStep _parent)