Project

General

Profile

« Previous | Next » 

Revision 8cac0897

ID8cac089767d7eda28de7088a47f20587ab53cdd2
Parent 7b944a64
Child d29d35f7

Added by Christoph Egger almost 4 years ago

CTL is expected to be removed early on

Create pattern-matching cases for all CTL language elements and raise an
error if encountered. We are assuming that CTL is replaced by plain
μ-Calculus early on

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences