DomainTransitionGraphComp Class Reference

#include <domain_transition_graph.h>

Inheritance diagram for DomainTransitionGraphComp:

List of all members.

Public Member Functions
void	collect_recursively_func_transitions (int var, map< int, int > &global_to_ccg_parent)
void	compute_recursively_parents (int var, map< int, int > &global_to_ccg_parent)
	DomainTransitionGraphComp (int var_index)
virtual void	dump () const
virtual void	read_data (istream &in)
Public Attributes
std::pair< CompTransition, CompTransition >	nodes
vector< FuncTransitionLabel >	transitions
Private Member Functions
	DomainTransitionGraphComp (const DomainTransitionGraphComp &other)

---

Detailed Description

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

---

Constructor & Destructor Documentation

DomainTransitionGraphComp::DomainTransitionGraphComp

(

int

var_index

)

Definition at line 478 of file search/domain_transition_graph.cpp.

DomainTransitionGraphComp::DomainTransitionGraphComp

(

const DomainTransitionGraphComp &

other

)

[private]

---

Member Function Documentation

void DomainTransitionGraphComp::collect_recursively_func_transitions	(	int	var,
		map< int, int > &	global_to_ccg_parent
	)

Definition at line 530 of file search/domain_transition_graph.cpp.

void DomainTransitionGraphComp::compute_recursively_parents	(	int	var,
		map< int, int > &	global_to_ccg_parent
	)

Definition at line 495 of file search/domain_transition_graph.cpp.

void DomainTransitionGraphComp::dump

(

)

const [virtual]

Implements DomainTransitionGraph.

Definition at line 580 of file search/domain_transition_graph.cpp.

void DomainTransitionGraphComp::read_data

(

istream &

in

)

[virtual]

Implements DomainTransitionGraph.

Definition at line 484 of file search/domain_transition_graph.cpp.

---

Member Data Documentation

std::pair<CompTransition, CompTransition> DomainTransitionGraphComp::nodes

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

vector<FuncTransitionLabel> DomainTransitionGraphComp::transitions

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

---

The documentation for this class was generated from the following files:

• search/domain_transition_graph.h
• search/domain_transition_graph.cpp