node_alloc()
Allocates NODE_MEM_CHUNK records and stores them in the free list of the node manager.
node_cmp_fun()
Comparison function for node sorted insertion. Returns is < 0 if node1 < node2, 0 if node1 == node2, and > 0 if node1 > node2
node_eq_fun()
Equality function for node hash.
node_hash_fun()
Hash function for nodes.
node_init()
Initializes the node manager.
node_is_constant()
Tells if the given node is a numeric/boolean constant
node_is_failure()
Returns 0 if given node is not a FAILURE node
node_normalize_list()
Does the same thing as node_normalize but do it more efficiently if sexp is a list
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_normalizer()
Returns the global master normalizer
node_pkg_get_global_master_sexp_printer()
Returns the global master wff printer
node_pkg_get_global_master_wff_printer()
Returns the global master wff printer
node_pkg_get_indenting_master_wff_printer()
Returns the indenting master wff printer
node_pkg_init()
Initializes the node package
node_pkg_quit()
Deinitializes the packages, finalizing all internal structures
node_quit()
De-initializes 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 2011/04/06 21h:16