node.h
External header file
nodeInt.h
Internal header file
node.c
The main routines of the node package.
nodePrint.c
Pretty prints a node struct.
nodeWffPrint.c
Pretty printing of formulas represented using node struct.

node.h

External header file

By: Marco Roveri


nodeInt.h

Internal header file

By: Marco Roveri


node.c

The main routines of the node package.

By: Marco Roveri

This file provides an abstract data type a la s-expression in LISP.

node_init()
Initializes the node manager.
node_quit()
Quits the node manager.
free_node()
Free a node of the node manager.
new_node()
Creates a new node.
find_node()
Creates a new node.
find_atom()
Search the node hash for a given node.
cons()
Conses two nodes.
car()
Returns the left branch of a node.
cdr()
Returns the right branch of a node.
setcar()
Replaces the car of X with Y
setcdr()
Replaces the cdr of X with Y
memberp()
Checks if node element X occurs in list.
append()
Appends two lists and returns the result.
append_ns()
Appends two lists and returns the result.
map()
Applies FUN to successive cars of LISTs and returns the results as a list.
walk()
Applies FUN to successive cars of LISTs.
reverse()
Reverse a list.
last()
Returns the last cons in X.
free_list()
Frees all the elements of the list.
odd_elements()
Extracts odd elements of list L.
even_elements()
Extracts even elements of list L.
node_subtract()
Deletes from list set2 the elements of list set1.
swap_nodes()
Swaps two nodes.
in_list()
Checks list R to see if it contains the element N.
llenght()
Returns the lenght of list r.
insert_node()
Inserts a node in the node hash.
node_hash_fun()
Hash function for nodes.
node_eq_fun()
Equality function for node hash.
node_alloc()
Allocates NODE_MEM_CHUNK records and stores them in the free list of the node manager.

nodePrint.c

Pretty prints a node struct.

By: Marco Roveri

This function pretty print a node struct, in a way similar to a s-expression in LISP.


nodeWffPrint.c

Pretty printing of formulas represented using node struct.

By: Marco Roveri

This file conatins the code to perform pretty printing of a formula represented with a node struct.

See Alsonode.c

print_node()
Pretty print a formula on a file
print_node_atcol()
Pretty print a formula in a given file at given column
util_streamprint()
print string on stream.
fprint_node_recur()
Recursive step of print_node_atcol
print_case()
required
print_case_body()
required

Last updated on 1020130 15h19