Frama-C:
Plug-ins:
Libraries:

Frama-C API - State_topological

Topological ordering over states.

This functor provides functions which allow iterating over a <b>state</b> graph in topological order.

That is the module Topological from OcamlGraph, but it takes into account state clusters.

module type G = sig ... end

Minimal graph signature to provide. Sub-signature of Sig.G.

module Make (G : G) : sig ... end

Functor providing topological iterators over a graph.