-
node_alloc()
- Allocates NODE_MEM_CHUNK records and stores them
in the free list of the node manager.
-
node_eq_fun()
- Equality function for node hash.
-
node_hash_fun()
- Hash function for nodes.
-
node_init()
- Initializes the node manager.
-
node_pkg_get_global_master_wff_printer()
- Returns the global master wff printer
-
node_pkg_init()
- Initializes the node package
-
node_pkg_quit()
- Deinitializes the packages, finalizing all internal
structures
-
node_quit()
- Quits the node manager.
-
node_subtract()
- Deletes from list set2 the elements of list set1.
Last updated on 2006/08/01 10h:49