The two least significant bytes encode the transparency information; the six most signification are the standard RGB color
information stored at each vertex
Trace of the algorithm as a list of markers Clique vertices
dom x y returns true iff x dominates y
dom x y
x
y
function from x to a list of nodes not dominated by x, but with predecessors which are dominated by x
function from x to a list of nodes immediately dominated by x
function from node to a list of nodes that dominate it.
Type for graph edges.
Attributes of edges.
type of edges of the underlying graph
Edge of the graph.
The type of the elements of a weak topological ordering over a set of 'a.
'a
type of the underlying graph
Type of graphs.
Attributes of graphs.
function from n to n's immediate dominator
n
idoms x y is true when x is y's immediate dominator
idoms x y
Type of labels on edges.
the abstract data type of a path checker; this is a mutable data structure
sdom x y returns true iff x strictly dominates y.
sdom x y
Attributes of (optional) boxes around vertices.
Subgraphs have a name and some vertices.
The type of a sequence of outermost elements in a weak topological ordering.
Type of edges' weights.
abstract type of graphs
Type of edges.
type of graphs
Information stored at each vertex.
Abstract type of graphs
Type of graph vertices.
Attributes of vertices.
Attributes of nodes.
type of vertices of the underlying graph
type of vertices
How to determine which vertices are to be considered as widening points.