DomainTransitionGraph Class Reference

#include <domain_transition_graph.h>

Inheritance diagram for DomainTransitionGraph:

List of all members.

Classes
struct	CompareCondsIgnoringType
Public Types
typedef std::tr1::tuple< const Variable *, double, condition_type >	Edge
typedef vector < std::tr1::tuple< const Variable *, double, condition_type > >	EdgeCondition
typedef set< Edge, CompareCondsIgnoringType >	SetEdgeCondition
Public Member Functions
virtual void	addAxRelTransition (int from, int to, const Axiom_relational &ax, int ax_index)=0
virtual void	addTransition (int from, int to, const Operator &op, int op_index, trans_type type, vector< Variable * > variables)=0
virtual void	dump () const =0
virtual void	dump () const =0
virtual void	finalize ()=0
virtual void	generate_cpp_input (ostream &outfile) const =0
virtual bool	is_strongly_connected () const =0
virtual void	read_data (istream &in)=0
virtual	~DomainTransitionGraph ()
virtual	~DomainTransitionGraph ()
Static Public Member Functions
static void	collect_func_transitions (int var, map< int, int > &global_to_ccg_parent)
static void	compute_causal_graph_parents_comp (int var, map< int, int > &global_to_ccg_parent)
static void	read_all (istream &in)
Public Attributes
vector< int >	ccg_parents
hashmap	global_to_local_ccg_parents
bool	is_axiom
int	var
Protected Member Functions
int	translate_global_to_local (map< int, int > &global_to_ccg_parent, int global_var)

---

Detailed Description

Definition at line 13 of file preprocess/domain_transition_graph.h.

---

Member Typedef Documentation

typedef std::tr1::tuple<const Variable*, double, condition_type> DomainTransitionGraph::Edge

Definition at line 15 of file preprocess/domain_transition_graph.h.

typedef vector<std::tr1::tuple<const Variable *, double, condition_type> > DomainTransitionGraph::EdgeCondition

Definition at line 31 of file preprocess/domain_transition_graph.h.

typedef set<Edge, CompareCondsIgnoringType> DomainTransitionGraph::SetEdgeCondition

Definition at line 30 of file preprocess/domain_transition_graph.h.

---

Constructor & Destructor Documentation

virtual DomainTransitionGraph::~DomainTransitionGraph

(

)

[inline, virtual]

Definition at line 33 of file preprocess/domain_transition_graph.h.

virtual DomainTransitionGraph::~DomainTransitionGraph

(

)

[inline, virtual]

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

---

Member Function Documentation

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

Implemented in DomainTransitionGraphModule, DomainTransitionGraphSymb, DomainTransitionGraphFunc, and DomainTransitionGraphSubterm.

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

Implemented in DomainTransitionGraphModule, DomainTransitionGraphSymb, DomainTransitionGraphFunc, and DomainTransitionGraphSubterm.

void DomainTransitionGraph::collect_func_transitions	(	int	var,
		map< int, int > &	global_to_ccg_parent
	)		[static]

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

void DomainTransitionGraph::compute_causal_graph_parents_comp	(	int	var,
		map< int, int > &	global_to_ccg_parent
	)		[static]

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

virtual void DomainTransitionGraph::dump

(

)

const [pure virtual]

Implemented in DomainTransitionGraphComp, DomainTransitionGraphFunc, DomainTransitionGraphSubterm, DomainTransitionGraphSymb, DomainTransitionGraphModule, DomainTransitionGraphModule, DomainTransitionGraphSymb, DomainTransitionGraphFunc, and DomainTransitionGraphSubterm.

virtual void DomainTransitionGraph::dump

(

)

const [pure virtual]

Implemented in DomainTransitionGraphComp, DomainTransitionGraphFunc, DomainTransitionGraphSubterm, DomainTransitionGraphSymb, DomainTransitionGraphModule, DomainTransitionGraphModule, DomainTransitionGraphSymb, DomainTransitionGraphFunc, and DomainTransitionGraphSubterm.

virtual void DomainTransitionGraph::finalize

(

)

[pure virtual]

Implemented in DomainTransitionGraphModule, DomainTransitionGraphSymb, DomainTransitionGraphFunc, and DomainTransitionGraphSubterm.

virtual void DomainTransitionGraph::generate_cpp_input

(

ostream &

outfile

)

const [pure virtual]

Implemented in DomainTransitionGraphModule, DomainTransitionGraphSymb, DomainTransitionGraphFunc, and DomainTransitionGraphSubterm.

virtual bool DomainTransitionGraph::is_strongly_connected

(

)

const [pure virtual]

Implemented in DomainTransitionGraphModule, DomainTransitionGraphSymb, DomainTransitionGraphFunc, and DomainTransitionGraphSubterm.

void DomainTransitionGraph::read_all

(

istream &

in

)

[static]

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

virtual void DomainTransitionGraph::read_data

(

istream &

in

)

[pure virtual]

Implemented in DomainTransitionGraphComp, DomainTransitionGraphFunc, DomainTransitionGraphSubterm, DomainTransitionGraphSymb, and DomainTransitionGraphModule.

int DomainTransitionGraph::translate_global_to_local	(	map< int, int > &	global_to_ccg_parent,
		int	global_var
	)		[protected]

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

---

Member Data Documentation

vector<int> DomainTransitionGraph::ccg_parents

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

hashmap DomainTransitionGraph::global_to_local_ccg_parents

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

bool DomainTransitionGraph::is_axiom

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

int DomainTransitionGraph::var

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

---

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

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