node_ptr
node_alloc(
)
- Allocates NODE_MEM_CHUNK records and stores them
in the free list of the node manager.
- Side Effects The free list of the node manager is
updated by appending the new allocated nodes.
unsigned
node_eq_fun(
node_ptr node1,
node_ptr node2
)
- Equality function for node hash.
- Side Effects None
- See Also
node_hash_fun
unsigned
node_hash_fun(
node_ptr node
)
- Hash function for nodes.
- Side Effects None
- See Also
node_eq_fun
void
node_init(
)
- The node manager is initialized.
- Side Effects None
inline int
node_is_failure(
node_ptr x
)
- Returns 0 if given node is not a FAILURE node
node_ptr
node_normalize_list(
node_ptr sexp
)
- node_normalize is 100% recursive.
This function instead expects the input to be a list (right
directional and of AND or CONS) which will be processed in a loop
instead of recursively. For some examples this allowed to avoid
stack overflow.
node_ptr
node_normalize(
node_ptr sexp
)
- 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
MasterPrinter_ptr
node_pkg_get_global_master_sexp_printer(
)
- Returns the global master wff printer.
MasterPrinter_ptr
node_pkg_get_global_master_wff_printer(
)
- Returns the global master wff printer.
MasterPrinter_ptr
node_pkg_get_indenting_master_wff_printer(
)
- Returns the indenting master wff printer.
void
node_pkg_init(
)
- Creates master and printers, and initializes the node
structures
- See Also
node_pkg_quit
void
node_pkg_quit(
)
- Deinitializes the packages, finalizing all internal
structures
- See Also
node_pkg_init
void
node_set_type(
node_ptr x,
int type
)
- Replaces the type of the node
- Side Effects Replaces the type of the node
- See Also
car
cdr
cons
setcar
node_get_type
void
node_show_profile_stats(
FILE* out
)
- Quits the node manager. All the
memory allocated it's freed.
- Side Effects All the memory allocated by the node
manager are left to the operating system.
node_ptr
node_subtract(
node_ptr set1,
node_ptr set2
)
- Deletes elements of list set1 from list set2
without doing side effect. The resulting list is returned.
- Side Effects None