# Index of types

A
align [XDotDraw] | Text alignment
arrow_style [Graphviz] |
attr [Dot_ast] |
B
bounding_box [XDot] | upper-left and bottom-right corners
C
cluster [DGraphContainer] |
cluster [DGraphView.S] |
cluster [DGraphTreeModel.S] |
cluster [DGraphTreeLayout] |
cluster [DGraphModel.Make] |
cluster [DGraphModel] |
cluster_layout [XDot] |
clusters_hash [Dot] |
color [Graphviz] |
color_with_transparency [Graphviz] | The two least significant bytes encode the transparency information; the six most signification are the standard RGB color
compass_pt [Dot_ast] |
D
data [Fixpoint.Analysis] | information stored at each vertex
data [Cliquetree.CliqueTree.CliqueTreeV] | Trace of the algorithm as a list of markers Clique vertices
data [Util.DataV] |
direction [Fixpoint] |
dom [Dominator.Make] | `dom x y` returns true iff `x` dominates `y`
dom_frontier [Dominator.Make] | function from `x` to a list of nodes not dominated by `x`, but with predecessors which are dominated by `x`
dom_functions [Dominator.Make] |
dom_graph [Dominator.Make] |
dom_tree [Dominator.Make] | function from `x` to a list of nodes immediately dominated by `x`
dominators [Dominator.Make] | function from node to a list of nodes that dominate it.
dotg_model [DGraphModel] |
draw_state [XDotDraw] |
E
edge [DGraphContainer.S] |
edge [DGraphView.S] |
edge [Merge.I] |
edge [Merge.S] |
edge [Contraction.G] |
edge [Fixpoint.Analysis] | type of edges of the underlying graph
edge [Gmap.E_DST] |
edge [Graphviz.ATTRIBUTES] | Attributes of edges.
edge [Graphviz.NeatoAttributes] | Attributes of edges.
edge [Graphviz.DotAttributes] | Attributes of edges.
edge [Graphviz.CommonAttributes] | Attributes of edges.
edge [Sig_pack.S] |
edge [Sig.G] |
edge_label [Merge.I] |
edge_label [Merge.S] |
edge_label [Rand.S] |
edge_layout [XDot] |
edgelist [Mcs_m.MaximalCardinalitySearch.I] |
edgelist [Mcs_m.MaximalCardinalitySearch.P] |
edgeset [Md.I] |
edgeset [Md.P] |
elt [Kruskal.UNIONFIND] |
F
file [Dot_ast] |
G
g [Fixpoint.Analysis] | type of the underlying graph
g [Oper.S] |
global_view [DGraphContainer.S] |
graph [DGraphContainer.S] |
graph [Merge.I] |
graph [Merge.S] |
graph [Graphviz.ATTRIBUTES] | Attributes of graphs.
graph [Graphviz.NeatoAttributes] | Attributes of graphs.
graph [Graphviz.DotAttributes] | Attributes of graphs.
graph [Graphviz.CommonAttributes] | Attributes of graphs.
graph [Rand.Planar.S] |
graph [Rand.S] |
graph [Classic.S] |
graph [Sig_pack.S.Mark] |
graph [Sig.MARK] | Type of graphs.
graph_layout [XDot.Make] | Main layout type
H
height [XDotDraw] |
I
id [Dot_ast] |
idom [Dominator.Make] | function from `n` to `n`'s immediate dominator
idoms [Dominator.Make] | `idoms x y` is true when `x` is `y`'s immediate dominator
iterator [Traverse.Bfs] |
iterator [Traverse.Dfs] | (h, st, g) where h is the set of marked vertices and st the stack invariant: the first element of st is not in h i.e.
L
label [DGraphSubTree.Tree.V] |
label [DGraphSubTree.G.V] |
label [Cliquetree.CliqueTree.CliqueTreeV] |
label [Gml.G.E] |
label [Gml.G.V] |
label [Flow.G_FORD_FULKERSON.E] |
label [Flow.FLOW] | Type of labels on edges.
label [Kruskal.G.E] |
label [Nonnegative.WEIGHT] | Type for labels of graph edges.
label [Path.WEIGHT] | Type for labels of graph edges.
label [Path.G.E] |
label [Util.DataV] |
label [Sig_pack.S.E] |
label [Sig_pack.S.V] |
label [Sig.EDGE] |
label [Sig.VERTEX] |
N
node [Dot_ast] |
node_id [Dot_ast] |
node_layout [XDot] | Each node has at least a position and a bounding box.
O
operation [XDotDraw] | Drawing operations
P
path_checker [Path.Check] | the abstract data type of a path checker; this is a mutable data structure
path_checker [Sig_pack.S.PathCheck] |
point [Delaunay.CCC] |
port [Dot_ast] |
pos [XDot] | 2D coordinates
pos [XDotDraw] | Dot layout coordinates
S
sdom [Dominator.Make] | `sdom x y` returns true iff `x` strictly dominates `y`.
shape_p [DGraphViewItem] | Shape properties
size [XDotDraw] |
status [DGraphContainer] |
stmt [Dot_ast] |
style_attr [XDotDraw] | Style attributes
subgraph [Graphviz.ATTRIBUTES] | Attributes of (optional) boxes around vertices.
subgraph [Graphviz.NeatoAttributes] | Subgraphs have a name and some vertices.
subgraph [Graphviz.DotAttributes] | Subgraphs have a name and some vertices.
subgraph [Dot_ast] |
T
t [DGraphTreeModel.S.TreeManipulation] |
t [DGraphSubTree.S] |
t [DGraphSubTree.Tree.V] |
t [DGraphSubTree.Tree] |
t [DGraphSubTree.G.E] |
t [DGraphSubTree.G.V] |
t [DGraphSubTree.G] |
t [Graphml.G.E] |
t [Graphml.G] |
t [Contraction.G] |
t [Leaderlist.G] |
t [Fixpoint.G.E] |
t [Fixpoint.G] |
t [Strat.STRAT] |
t [Strat.PLAYER] |
t [Strat.G] |
t [Cliquetree.CliqueTree.CliqueTreeE] |
t [Cliquetree.CliqueTree.CliqueTreeV] |
t [Cliquetree.CliqueTree.CliqueV] |
t [Minsep.G] |
t [Gmap.E_DST] |
t [Gmap.E_SRC] |
t [Gmap.V_DST] |
t [Gmap.V_SRC] |
t [Gml.G.E] |
t [Gml.G.V] |
t [Gml.G] |
t [Dominator.G] |
t [Flow.G_FORD_FULKERSON.E] |
t [Flow.G_FORD_FULKERSON] |
t [Flow.G_GOLDBERG] |
t [Flow.FLOW] | Type of edges.
t [Kruskal.UNIONFIND] |
t [Kruskal.G.E] |
t [Kruskal.G] |
t [Topological.G] |
t [Coloring.GM] |
t [Coloring.G] |
t [Traverse.GM.V] |
t [Traverse.GM] |
t [Traverse.G] |
t [Nonnegative.WEIGHT] | Type of edges' weights.
t [Path.WEIGHT] | Type of edges' weights.
t [Path.G.E] |
t [Path.G] |
t [Components.G] |
t [Util.DataV] |
t [Sig_pack.S.E] |
t [Sig_pack.S.V] |
t [Sig_pack.S] | abstract type of graphs
t [Sig.COMPARABLE] |
t [Sig.HASHABLE] |
t [Sig.ORDERED_TYPE] |
t [Sig.ANY_TYPE] |
t [Sig.G] | Abstract type of graphs
t [Sig.EDGE] |
t [Sig.VERTEX] |
tree_view [DGraphContainer.S] |
triangulation [Delaunay.Triangulation] |
V
value [Gml] |
value_list [Gml] |
vertex [DGraphContainer.S] |
vertex [DGraphView.S] |
vertex [Merge.I] |
vertex [Merge.S] |
vertex [Graphml.G] |
vertex [Contraction.G] |
vertex [Fixpoint.Analysis] | type of vertices of the underlying graph
vertex [Strat.STRAT] |
vertex [Strat.PLAYER] |
vertex [Strat.G] |
vertex [Gmap.V_DST] |
vertex [Graphviz.ATTRIBUTES] | Attributes of vertices.
vertex [Graphviz.NeatoAttributes] | Attributes of nodes.
vertex [Graphviz.DotAttributes] | Attributes of nodes.
vertex [Graphviz.CommonAttributes] | Attributes of vertices.
vertex [Rand.S] |
vertex [Sig_pack.S.Mark] |
vertex [Sig_pack.S.E] |
vertex [Sig_pack.S] |
vertex [Sig.MARK] | Type of graph vertices.
vertex [Sig.G] |
vertex [Sig.EDGE] |
W
width [XDotDraw] | Dimensions