sum_deltas.h File Reference

#include <vector>
#include "delta.h"

Include dependency graph for sum_deltas.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  sum_deltas
 Pre-post visitor for summing up all the deltas during work node extraction. More...


work_node full_node_to_work_node (full_node &n_full, gptr< search_node > &ground)
 This function converts a full_node to a work_node.

Detailed Description

Definition in file sum_deltas.h.

Generated on Tue Feb 9 14:47:10 2010 for COCONUT API by  doxygen 1.5.8