-
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_is_failure()
- Returns 0 if given node is not a FAILURE node
-
node_normalize()
- Traverses the tree, and returns a possibly new tree that
is a normalized copy of the first. Use for constant-time comparison
of two trees
-
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_set_type()
- Replaces the type of the node
-
node_subtract()
- Deletes from list set2 the elements of list set1.
Last updated on 2009/03/04 12h:51