edu.toronto.cs.proof2
Class CTLProver.EGProofRule

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

public static class CTLProver.EGProofRule
extends AbstractProofRule


Constructor Summary
CTLProver.EGProofRule(MvSetModelChecker _mc)
           
 
Method Summary
 Formula[] apply(Formula f)
           
 
Methods inherited from class edu.toronto.cs.proof2.AbstractProofRule
toArray
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CTLProver.EGProofRule

public CTLProver.EGProofRule(MvSetModelChecker _mc)
Method Detail

apply

public Formula[] apply(Formula f)
Specified by:
apply in interface ProofRule
Specified by:
apply in class AbstractProofRule