package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

OCaml

Innovation. Community. Security.