search_graph.cc File Reference

#include <coconut_config.h>
#include <search_graph.h>
#include <set>
#include "sum_deltas.h"

Include dependency graph for search_graph.cc:

Go to the source code of this file.

Classes

class coco::sum_deltas

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

class coco::__sg_anc_visitor

Namespaces

namespace coco

the main namespace of the COCONUT API

Defines

#define DEBUG_SGRAPH_EXTRACT 0

Functions

work_node coco::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 search_graph.cc.

#define DEBUG_SGRAPH_EXTRACT 0

Definition at line 39 of file search_graph.cc.


Classes
class	coco::sum_deltas
	Pre-post visitor for summing up all the deltas during work node extraction. More...
class	coco::__sg_anc_visitor
Namespaces
namespace	coco
	the main namespace of the COCONUT API
Defines
#define	DEBUG_SGRAPH_EXTRACT 0
Functions
work_node	coco::full_node_to_work_node (full_node &n_full, gptr< search_node > &ground)
	This function converts a full_node to a work_node.