14.4.24  Graphtree

The standard library Graphtree api is part of the support infrastructure for graph visualization.

The Graphtree api is implemented by the src/lib/std/graphtree/graphtree-g.pkg generic package.

The Graphtree api source code is in src/lib/std/graphtree/graphtree.api.

See also: Dot_Graphtree.

See also: Traitful_Graphtree.

See also: Dotgraph_To_Planargraph.

The above information is manually maintained and may contain errors.

api {
    Graph;
    Edge;
    Node;
    Graph_Info;
    Edge_Info;
    Node_Info;
    exception GRAPHTREE_ERROR String;
    make_graph : Graph_Info -> Graph;
    make_subgraph : (Graph , Graph_Info) -> Graph;
    node_count : Graph -> Int;
    edge_count : Graph -> Int;
    make_node : (Graph , Node_Info) -> Node;
    put_node : (Graph , Node) -> Void;
    drop_node : (Graph , Node) -> Void;
    nodes : Graph -> List(Node );
    nodes_apply : (Node -> Void) -> Graph -> Void;
    nodes_fold : ((Node , X) -> X) -> Graph -> X -> X;
    make_edge : {graph:Graph, head:Node, info:Edge_Info, tail:Node} -> Edge;
    drop_edge : (Graph , Edge) -> Void;
    edges : Graph -> List(Edge );
    in_edges : (Graph , Node) -> List(Edge );
    out_edges : (Graph , Node) -> List(Edge );
    in_edges_apply : (Edge -> Void) -> (Graph , Node) -> Void;
    out_edges_apply : (Edge -> Void) -> (Graph , Node) -> Void;
    head : Edge -> Node;
    tail : Edge -> Node;
    nodes_of : Edge -> {head:Node, tail:Node};
    is_root : Graph -> Bool;
    root_of_node : Node -> Graph;
    root_of_edge : Edge -> Graph;
    root_of_graph : Graph -> Graph;
    has_node : (Graph , Node) -> Bool;
    has_edge : (Graph , Edge) -> Bool;
    eq_graph : (Graph , Graph) -> Bool;
    eq_node : (Node , Node) -> Bool;
    eq_edge : (Edge , Edge) -> Bool;
    edge_info_of : Edge -> Edge_Info;
    graph_info_of : Graph -> Graph_Info;
    node_info_of : Node -> Node_Info;};