source: Deliverables/D2.2/8051/src/LTL/LTLToLIN.mli @ 486

Last change on this file since 486 was 486, checked in by ayache, 9 years ago

Deliverable D2.2

File size: 318 bytes
Line 
1
2(** This module is the external part of the translation of [LTL]
3    programs into [LIN] programs. *)
4
5(** The translation mainly consists in compressing the graph (remove all gotos
6    statements) and then transform the graph structure in a sequence of
7    statements. *)
8
9val translate : LTL.program -> LIN.program
Note: See TracBrowser for help on using the repository browser.