edu.toronto.cs.proof2
Class DynamicProofDisplay

java.lang.Object
  extended by edu.toronto.cs.proof2.DynamicProofDisplay

public class DynamicProofDisplay
extends java.lang.Object

Describe class DynamicProofDisplay here. Created: Wed Jun 23 01:27:20 2004

Version:
1.0
Author:
Arie Gurfinkel

Constructor Summary
DynamicProofDisplay()
          Creates a new DynamicProofDisplay instance.
 
Method Summary
static void showProof(CTLProver prover, ProofStep step)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DynamicProofDisplay

public DynamicProofDisplay()
Creates a new DynamicProofDisplay instance.

Method Detail

showProof

public static void showProof(CTLProver prover,
                             ProofStep step)