edu.toronto.cs.modelchecker
Interface CTLReWriter

All Known Implementing Classes:
CloningRewriter, CTLUntilExpander, CTLWeakUntilExpander, ExistentialRewriter, MvSetPlaceholderReWriter, NormalFormRewriter, PlaceholderReWriter, SyntaxChecker, XKripkeStructure

public interface CTLReWriter


Method Summary
 CTLNode rewrite(CTLNode ctl)
           
 

Method Detail

rewrite

CTLNode rewrite(CTLNode ctl)