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.
int
node_cmp_fun(
node_ptr node1,
node_ptr node2
)
- Comparison function for node sorted insertion.
Returns is < 0 if node1 < node2, 0 if node1 == node2, and > 0 if
node1 > node2
- Side Effects None
- See Also
node_hash_fun
unsigned
node_eq_fun(
node_ptr node1,
node_ptr node2
)
- Equality function for node hash.
- Side Effects None
- See Also
node_hash_fun
inline unsigned int
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
int
node_is_failure(
node_ptr x
)
- Returns 0 if given node is not a FAILURE node
int
node_is_leaf(
node_ptr node
)
- Returns 0 if the given node is not a numeric/boolean/failure
constant. This is done a purely syntactic manner. To know if a
*symbol* is constant declared within a symbol tablea, use method
SymbTable_is_symbol_constant instead.
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.
MasterNormalizer_ptr
node_pkg_get_global_master_normalizer(
)
- Returns the global master normalizer
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_quit(
)
- The node manager is de-initialized.
- Side Effects None
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
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