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 providing topological iterators over a graph.