Frama-C API - Attributes
Signature required by Graph.GraphViZ.Dot
. See the OcamlGraph's documentation for additional details.
val vertex_name : State.t -> string
val vertex_attributes : State.t -> Graph.Graphviz.DotAttributes.vertex list
val get_subgraph : State.t -> Graph.Graphviz.DotAttributes.subgraph option