edu.toronto.cs.proof
Class Proof

java.lang.Object
  extended by edu.toronto.cs.proof.Proof

public abstract class Proof
extends java.lang.Object


Constructor Summary
Proof()
           
 
Method Summary
 void searchProof(CTLNode ctl)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Proof

public Proof()
Method Detail

searchProof

public void searchProof(CTLNode ctl)