Search Graph

Classes
class	coco::work_node_comp_hook
	The work_node_comp_hook class (work node computation hook). More...
class	coco::diameter_comp_hook
	The log-volume computation hook (work node computation hook). More...
class	coco::inference_engine_comp_hook
	The inference engine meta computation hook (work node computation hook). More...
class	coco::logvol_comp_hook
	The log-volume computation hook (work node computation hook). More...
class	coco::objbounds_comp_hook
	The objective-bounds computation hook (work node computation hook). More...
class	coco::pending_status_comp_hook
	The pending status computation hook (work node computation hook). More...
class	coco::pfstar_hook
	The pfstar computation hook (work node computation hook). More...
class	coco::sum_deltas
	Pre-post visitor for summing up all the deltas during work node extraction. More...
class	coco::search_graph
	The search graph. More...
class	coco::search_node
	Base type of the nodes in the search graph. More...
class	coco::delta_node
	Class holding the delta nodes in the search graph. More...
class	coco::full_node
	Class holding the full nodes in the search graph. More...
class	coco::work_node
	Work node, which is passed to the inference engines. More...
class	coco::work_node::work_node::constraint_iterator_base< _TW, _TV, _VR, _TP, _TR, _TI >
	The base class for work_node::constraint_iterator and work_node::constraint_const_iterator. More...
class	sum_deltas
	Pre-post visitor for summing up all the deltas during work node extraction. More...
Typedefs
typedef search_graph::const_walker	coco::search_inspector
	The search inspector for graph analysis.
typedef search_graph::walker	coco::search_focus
	The search focus for work node selection.
typedef uint32_t	coco::search_node_id
	Type of the unique search node identifier.
Enumerations
enum	coco::search_node_relation {   coco::snr_root, coco::snr_reduction, coco::snr_relaxation, coco::snr_split,   coco::snr_glue, coco::snr_worknode, coco::snr_virtual }
	Enum specifying node relations in the search graph. More...
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.
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

The classes and types in this section are used to build the search graph structure used during the solution process.

---

Typedef Documentation

typedef search_graph::walker coco::search_focus

There are only few variables of the search_focus type which are used to select nodes in the search graph for analysis.

Definition at line 333 of file search_graph.h.

typedef search_graph::const_walker coco::search_inspector

Variables of the search_inspector type are used to analyze the search graph.

Definition at line 326 of file search_graph.h.

typedef uint32_t coco::search_node_id

This is the type of the unique identifier generated for a work node inside a search graph.

Definition at line 77 of file search_node.h.

---

Enumeration Type Documentation

enum coco::search_node_relation

This enum is used to specify the relation of a node to its parent(s) in the search graph.

Enumerator:

snr_root	this is the root node of a search graph
snr_reduction	this is a reduction of the parent node
snr_relaxation	this is a relaxation of the parent node
snr_split	this is one of a number of splits of the parent
snr_glue	this is a glueing of a number of parent nodes
snr_worknode	this is a standalone work-node
snr_virtual	this is a virtual node of the search graph

Definition at line 61 of file search_node.h.

---

Function Documentation

work_node full_node_to_work_node	(	full_node &	n_full,
		gptr< search_node > &	ground
	)			[inline]

This function converts the full_node n_full to a work_node. The parameter ground provides a reference to the ground of the search graph.

Definition at line 40 of file sum_deltas.h.

work_node coco::full_node_to_work_node	(	full_node &	n_full,
		gptr< search_node > &	ground
	)			[inline]

This function converts the full_node n_full to a work_node. The parameter ground provides a reference to the ground of the search graph.

Definition at line 122 of file search_graph.cc.