source: Deliverables/D2.2/8051/src/LTL/LTLGraph.mli @ 1580

Last change on this file since 1580 was 1580, checked in by tranquil, 9 years ago

implemented constant propagation in LTL
cleaned up translations in optimizations, a new module for translations is available

File size: 155 bytes
Line 
1include GraphUtilities.GraphType
2with type node = Label.t
3and type statement = LTL.statement
4and module NodeMap = Label.Map
5and module NodeSet = Label.Set
Note: See TracBrowser for help on using the repository browser.