DomainTransitionGraphSymb Class Reference

#include <domain_transition_graph_symb.h>

Inheritance diagram for DomainTransitionGraphSymb:

List of all members.

Classes
struct	Transition
Public Member Functions
void	addAxRelTransition (int from, int to, const Axiom_relational &ax, int ax_index)
void	addTransition (int from, int to, const Operator &op, int op_index, trans_type type, vector< Variable * > variables)
	DomainTransitionGraphSymb (const Variable &var)
	DomainTransitionGraphSymb (int var_index, int node_count)
void	dump () const
virtual void	dump () const
void	finalize ()
void	generate_cpp_input (ostream &outfile) const
virtual void	get_successors (int value, vector< int > &result) const
bool	is_strongly_connected () const
virtual void	read_data (istream &in)
Public Attributes
vector< ValueNode >	nodes
Private Types
typedef vector< Transition >	Vertex
Private Member Functions
bool	add_relevant_functional_vars_to_context (int var_no, map< int, int > &global_to_ccg_parent)
void	compress_effects (const Operator *op, vector< PrePost > &pre_post)
	DomainTransitionGraphSymb (const DomainTransitionGraphSymb &other)
void	extend_cyclic_effect (const PrePost &pre_post, vector< LocalAssignment > &cyclic_effect, map< int, int > &global_to_ccg_parent, const vector< pair< int, int > > &precond_pairs)
Private Attributes
int	level
vector< Vertex >	vertices

---

Detailed Description

Definition at line 13 of file domain_transition_graph_symb.h.

---

Member Typedef Documentation

typedef vector<Transition> DomainTransitionGraphSymb::Vertex [private]

Definition at line 33 of file domain_transition_graph_symb.h.

---

Constructor & Destructor Documentation

DomainTransitionGraphSymb::DomainTransitionGraphSymb

(

const Variable &

var

)

Definition at line 20 of file domain_transition_graph_symb.cpp.

DomainTransitionGraphSymb::DomainTransitionGraphSymb	(	int	var_index,
		int	node_count
	)

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

DomainTransitionGraphSymb::DomainTransitionGraphSymb

(

const DomainTransitionGraphSymb &

other

)

[private]

---

Member Function Documentation

bool DomainTransitionGraphSymb::add_relevant_functional_vars_to_context	(	int	var_no,
		map< int, int > &	global_to_ccg_parent
	)		[private]

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

void DomainTransitionGraphSymb::addAxRelTransition	(	int	from,
		int	to,
		const Axiom_relational &	ax,
		int	ax_index
	)		[virtual]

Implements DomainTransitionGraph.

Definition at line 126 of file domain_transition_graph_symb.cpp.

void DomainTransitionGraphSymb::addTransition	(	int	from,
		int	to,
		const Operator &	op,
		int	op_index,
		trans_type	type,
		vector< Variable * >	variables
	)		[virtual]

Implements DomainTransitionGraph.

Definition at line 32 of file domain_transition_graph_symb.cpp.

void DomainTransitionGraphSymb::compress_effects	(	const Operator *	op,
		vector< PrePost > &	pre_post
	)		[private]

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

void DomainTransitionGraphSymb::dump

(

)

const [virtual]

Implements DomainTransitionGraph.

Definition at line 289 of file domain_transition_graph_symb.cpp.

virtual void DomainTransitionGraphSymb::dump

(

)

const [virtual]

Implements DomainTransitionGraph.

void DomainTransitionGraphSymb::extend_cyclic_effect	(	const PrePost &	pre_post,
		vector< LocalAssignment > &	cyclic_effect,
		map< int, int > &	global_to_ccg_parent,
		const vector< pair< int, int > > &	precond_pairs
	)		[private]

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

void DomainTransitionGraphSymb::finalize

(

)

[virtual]

Implements DomainTransitionGraph.

Definition at line 155 of file domain_transition_graph_symb.cpp.

void DomainTransitionGraphSymb::generate_cpp_input

(

ostream &

outfile

)

const [virtual]

Implements DomainTransitionGraph.

Definition at line 308 of file domain_transition_graph_symb.cpp.

void DomainTransitionGraphSymb::get_successors	(	int	value,
		vector< int > &	result
	)		const [virtual]

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

bool DomainTransitionGraphSymb::is_strongly_connected

(

)

const [virtual]

Implements DomainTransitionGraph.

Definition at line 263 of file domain_transition_graph_symb.cpp.

void DomainTransitionGraphSymb::read_data

(

istream &

in

)

[virtual]

Implements DomainTransitionGraph.

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

---

Member Data Documentation

int DomainTransitionGraphSymb::level [private]

Definition at line 35 of file domain_transition_graph_symb.h.

vector<ValueNode> DomainTransitionGraphSymb::nodes

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

vector<Vertex> DomainTransitionGraphSymb::vertices [private]

Definition at line 34 of file domain_transition_graph_symb.h.

---

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

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