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


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 2004/06/23 11h:09