edu.toronto.cs.proof2
Class AbstractProofRule

java.lang.Object
  extended by edu.toronto.cs.proof2.AbstractProofRule
All Implemented Interfaces:
ProofRule
Direct Known Subclasses:
CTLProver.AndOrProofRule, CTLProver.AtomicProofRule, CTLProver.AUiProofRule, CTLProver.AUProofRule, CTLProver.AXProofRule, CTLProver.BaseEXProofRule, CTLProver.CheckingTopBottom, CTLProver.EGProofRule, CTLProver.EqNegationProofRule, CTLProver.EUiProofRule, CTLProver.EUProofRule, CTLProver.EXAboveMProofRule, CTLProver.EXCexProofRule, CTLProver.EXProofRule, CTLProver.NegationProofRule, DepthProofRule, VisitedEXProofRule

public abstract class AbstractProofRule
extends java.lang.Object
implements ProofRule


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

Constructor Detail

AbstractProofRule

public AbstractProofRule(MvSetModelChecker _mc)
Method Detail

apply

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

toArray

public static Formula[] toArray(Formula f)