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


MasterPrinter_ptr 
node_pkg_get_global_master_wff_printer(
    
)
Returns the global 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(
    
)
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


Last updated on 2006/07/31 19h:20