edu.toronto.cs.proof2
Class CTLProver.EqualsProofRule

java.lang.Object
  extended by edu.toronto.cs.proof2.CTLProver.EqualsProofRule
All Implemented Interfaces:
ProofRule
Enclosing class:
CTLProver

public static class CTLProver.EqualsProofRule
extends java.lang.Object
implements ProofRule


Constructor Summary
CTLProver.EqualsProofRule()
           
 
Method Summary
 Formula[] apply(Formula _formula)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CTLProver.EqualsProofRule

public CTLProver.EqualsProofRule()
Method Detail

apply

public Formula[] apply(Formula _formula)
Specified by:
apply in interface ProofRule