ValueNode Struct Reference

#include <domain_transition_graph.h>

List of all members.

Public Member Functions
void	dump () const
	ValueNode (DomainTransitionGraph *parent, int val)
Public Attributes
vector< ValueTransition >	additional_transitions
DomainTransitionGraph *	parent_graph
vector< ValueTransition >	transitions
int	value

---

Detailed Description

Definition at line 77 of file search/domain_transition_graph.h.

---

Constructor & Destructor Documentation

ValueNode::ValueNode	(	DomainTransitionGraph *	parent,
		int	val
	)		[inline]

Definition at line 84 of file search/domain_transition_graph.h.

---

Member Function Documentation

void ValueNode::dump

(

)

const

---

Member Data Documentation

vector<ValueTransition> ValueNode::additional_transitions

Definition at line 82 of file search/domain_transition_graph.h.

DomainTransitionGraph* ValueNode::parent_graph

Definition at line 79 of file search/domain_transition_graph.h.

vector<ValueTransition> ValueNode::transitions

Definition at line 81 of file search/domain_transition_graph.h.

int ValueNode::value

Definition at line 80 of file search/domain_transition_graph.h.

---

The documentation for this struct was generated from the following file:

• search/domain_transition_graph.h