src/LTL/LTLToLIN.mli

   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
   9 val translate : LTL.program -> LIN.program