edu.toronto.cs.proof2
Class TreeProofStep
java.lang.Object
edu.toronto.cs.proof2.ProofStep
edu.toronto.cs.proof2.TreeProofStep
public class TreeProofStep
- extends ProofStep
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
TreeProofStep
public TreeProofStep(Formula _formula,
ProofStep _parent)
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)