On This Page
package frama-c
Module Interpreted_automata.Algorithms
Parameters
module G : Graph.Sig.GSignature
val exit_strategy : G.t -> G.V.t Wto.component -> G.V.t Wto.partitionOn This Page
Interpreted_automata.Algorithmsmodule G : Graph.Sig.Gval exit_strategy : G.t -> G.V.t Wto.component -> G.V.t Wto.partition