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/07/31 19h:06