edu.toronto.cs.proof2
Class CTLProver.EUProofRule

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

public static class CTLProver.EUProofRule
extends AbstractProofRule


Constructor Summary
CTLProver.EUProofRule(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.EUProofRule

public CTLProver.EUProofRule(MvSetModelChecker _mc)
Method Detail

apply

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