source: Deliverables/D2.3/8051/src/LTL/LTLToLIN.mli @ 453

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

Import of the Paris's sources.

File size: 318 bytes
2(** This module is the external part of the translation of [LTL]
3    programs into [LIN] programs. *)
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. *)
9val translate : LTL.program -> LIN.program
Note: See TracBrowser for help on using the repository browser.