Frama_c_kernel.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.