# 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
cfg [Fixpoint.Analysis] | type of the underlying graph
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] |
dotg_model [DGraphModel] |
draw_state [XDotDraw] |
E
edge [DGraphContainer.S] |
edge [DGraphView.S] |
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 [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 [Oper.S] |
global_view [DGraphContainer.S] |
graph [DGraphContainer.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] |
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 [Fixpoint.Analysis] | the label of edges of the underlying graph
label [Fixpoint.G.E] |
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 [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
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 [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 [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 [Components.G] |
t [Topological.G] |
t [Coloring.GM] |
t [Coloring.G] |
t [Traverse.GM.V] |
t [Traverse.GM] |
t [Traverse.G] |
t [Path.WEIGHT] | Type of edges' weights.
t [Path.G.E] |
t [Path.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 [Fixpoint.Analysis] | type of a vertex 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