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.

Classes
class	sum_deltas
	Pre-post visitor for summing up all the deltas during work node extraction. More...
Functions
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.