CleanBack()
Dfs BackVisit for cleaning.
CleanFirst()
Dfs FirstVisit for cleaning.
CleanLast()
Dfs LastVisit for cleaning.
CleanSet()
Dfs Set for cleaning.
Compare()
Checks if an element belongs to a list.
DFS1()
Performs a generic (recursive) DFS on the dag.
DFS2()
Performs a generic (recursive) DFS on the dag.
DFS()
Performs a generic (recursive) DFS on the dag.
DagVertexComp()
Compare two vertices.
DagVertexHash()
Calculate the hash key of a vertex.
DagVertexInit()
Vertex initialization.
Dag_Dfs()
Performs a generic DFS on the dag.
Dag_Ennarize()
Constructs an ennary dag corrispondig to an arbitrary binary dag and returns a reference to it.
Dag_ManagerAlloc()
Creates a new DAG manager.
Dag_ManagerFree()
Deallocates a DAG manager.
Dag_ManagerGC()
Garbage collects the DAG manager.
Dag_PrintStats()
Prints various statistics.
Dag_VertexInsert()
Vertex insert.
Dag_VertexLookup()
Vertex lookup.
Dag_VertexMark()
Marks a vertex as permanent.
Dag_VertexUnmark()
Unmarks a vertex (makes it volatile).
GC()
Depth-first garbage collection.
SetupSet()
Dfs Set for ennarization.
getEnnarySons()
Finds all sons of a node and returns the list containing them.
()
Clears (forces) a bit annotation to 0.
()
Filters a pointer from bit annotations.
()
Returns the pointer with bit annotation
()
Select a particular field of the struct associated via gRef to each node
()
Sets (forces) a bit annotation to 1.
()
Tests if the edge is annotated.

Last updated on 2009/03/04 13h:34