edu.toronto.cs.proof2
Interface ProofRule

All Known Implementing Classes:
AbstractProofRule, CTLProver.AndOrProofRule, CTLProver.AtomicProofRule, CTLProver.AUiProofRule, CTLProver.AUProofRule, CTLProver.AXProofRule, CTLProver.BaseEXProofRule, CTLProver.CheckingTopBottom, CTLProver.EGProofRule, CTLProver.EqNegationProofRule, CTLProver.EqualsProofRule, CTLProver.EUiProofRule, CTLProver.EUProofRule, CTLProver.EXAboveMProofRule, CTLProver.EXCexProofRule, CTLProver.EXProofRule, CTLProver.NegationProofRule, CTLProver.NewEXProofRule, CTLProver.PreferAvoidEXProofRule, DepthProofRule, VisitedEXProofRule

public interface ProofRule


Method Summary
 Formula[] apply(Formula formula)
           
 

Method Detail

apply

Formula[] apply(Formula formula)