Module Interpreted_automata.UnrollUnnatural

module UnrollUnnatural: sig .. end

Could enter a loop only by head nodes

module Vertex_Set: Datatype.S_with_collections  with type t = Vertex.Set.t
module Version: Datatype.S_with_collections  with type t = Vertex.t * Vertex.Set.t
module G: sig .. end
module WTO: sig .. end
val output_to_dot : Pervasives.out_channel ->
?number:[ `Stmt | `Vertex ] ->
?wto:WTO.t ->
G.t -> unit
val unroll_unnatural_loop : Interpreted_automata.automaton ->
Interpreted_automata.wto ->
Interpreted_automata.Compute.wto_index_table ->
G.t