source: Deliverables/D2.2/8051/src/RTL/RTLGraph.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: 159 bytes
RevLine 
[1580]1include GraphUtilities.GraphType
2 with type node = Label.t
3 and type statement = RTL.statement
4 and module NodeMap = Label.Map
5 and module NodeSet = Label.Set
Note: See TracBrowser for help on using the repository browser.