next up previous contents
Next: post_node_rhside_fixed value_0 value_1 ... Up: Input file, data part Previous: post_node index data_item operat   Contents

post_node_result index result_0 result_1 ...

See post_node.


tochnog 2001-09-02