source: src/LTL/LTLToLINI.ma @ 722

Last change on this file since 722 was 722, checked in by mulligan, 9 years ago

Committing changes from today. Several files do not typecheck.

File size: 464 bytes
Line 
1include "common/Graphs.ma".
2include "LTL/LTL.ma".
3
4definition fetch: ∀globals. LTLStatementGraph globals → label → option (LTLStatement globals) ≝
5  λglobals: list Identifier.
6  λgraph: LTLStatementGraph globals.
7  λl: label.
8    graph_lookup ? graph l.
9   
10definition generate: ∀globals. LTLStatement globals → list (LTLStatement globals) → list (LTLStatement globals) ≝
11  λglobals.
12  λstatement.
13  λstatements.
14    statement :: statements.
Note: See TracBrowser for help on using the repository browser.