Module State_topological

module State_topological: sig .. end
Topological ordering over states.

This functor provides functions which allow iterating over a state 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.
module Make: 
functor (G : G-> sig .. end
Functor providing topological iterators over a graph.