edu.toronto.cs.proof2
Class TreeProofStep

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

public class TreeProofStep
extends ProofStep


Constructor Summary
TreeProofStep(Formula _formula, ProofStep _parent)
           
 
Method Summary
 ProofStep getChild(int i)
           
 int getChildLength()
           
 ProofStep[] getChildren()
           
 Formula[] getChildrenFormula()
           
 ProofRule getProofRule()
           
 void setChildren(ProofStep[] _children)
           
 void setProofRule(ProofRule v)
           
 
Methods inherited from class edu.toronto.cs.proof2.ProofStep
getFormula, getParent, newProofStep, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TreeProofStep

public TreeProofStep(Formula _formula,
                     ProofStep _parent)
Method Detail

getChildren

public ProofStep[] getChildren()

getChildrenFormula

public Formula[] getChildrenFormula()

getChild

public ProofStep getChild(int i)

getChildLength

public int getChildLength()
Overrides:
getChildLength in class ProofStep

setChildren

public void setChildren(ProofStep[] _children)

getProofRule

public ProofRule getProofRule()

setProofRule

public void setProofRule(ProofRule v)