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

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_constant(
  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.


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


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


Last updated on 2011/04/06 21h:12