-
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_failure()
- Returns 0 if given node is not a FAILURE node
-
node_is_leaf()
- Tells if the given node is a numeric/boolean leaf
-
node_normalize_list()
- Does the same thing as node_normalize but
do it more efficiently if sexp is a list
-
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 2012/11/18 14h:16