package frama-c

  1. Overview
  2. Docs

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

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.