DomainTransitionGraphFunc Class Reference

#include <domain_transition_graph_func.h>

Inheritance diagram for DomainTransitionGraphFunc:

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 foperator, int right_var, const Operator &op, int op_index, trans_type type, vector< Variable * > variables)
	DomainTransitionGraphFunc (const Variable &var)
	DomainTransitionGraphFunc (int var_index)
void	dump () const
virtual void	dump () const
void	finalize ()
void	generate_cpp_input (ostream &outfile) const
bool	is_strongly_connected () const
virtual void	read_data (istream &in)
Public Attributes
vector< FuncTransitionLabel >	transitions
Private Member Functions
	DomainTransitionGraphFunc (const DomainTransitionGraphFunc &other)
Private Attributes
int	level
vector< Transition >	transitions

---

Detailed Description

Definition at line 11 of file domain_transition_graph_func.h.

---

Constructor & Destructor Documentation

DomainTransitionGraphFunc::DomainTransitionGraphFunc

(

const Variable &

var

)

Definition at line 12 of file domain_transition_graph_func.cpp.

DomainTransitionGraphFunc::DomainTransitionGraphFunc

(

int

var_index

)

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

DomainTransitionGraphFunc::DomainTransitionGraphFunc

(

const DomainTransitionGraphFunc &

other

)

[private]

---

Member Function Documentation

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

Implements DomainTransitionGraph.

Definition at line 110 of file domain_transition_graph_func.cpp.

void DomainTransitionGraphFunc::addTransition	(	int	foperator,
		int	right_var,
		const Operator &	op,
		int	op_index,
		trans_type	type,
		vector< Variable * >	variables
	)		[virtual]

Implements DomainTransitionGraph.

Definition at line 18 of file domain_transition_graph_func.cpp.

void DomainTransitionGraphFunc::dump

(

)

const [virtual]

Implements DomainTransitionGraph.

Definition at line 121 of file domain_transition_graph_func.cpp.

virtual void DomainTransitionGraphFunc::dump

(

)

const [virtual]

Implements DomainTransitionGraph.

void DomainTransitionGraphFunc::finalize

(

)

[virtual]

Implements DomainTransitionGraph.

Definition at line 114 of file domain_transition_graph_func.cpp.

void DomainTransitionGraphFunc::generate_cpp_input

(

ostream &

outfile

)

const [virtual]

Implements DomainTransitionGraph.

Definition at line 142 of file domain_transition_graph_func.cpp.

bool DomainTransitionGraphFunc::is_strongly_connected

(

)

const [virtual]

Implements DomainTransitionGraph.

Definition at line 117 of file domain_transition_graph_func.cpp.

void DomainTransitionGraphFunc::read_data

(

istream &

in

)

[virtual]

Implements DomainTransitionGraph.

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

---

Member Data Documentation

int DomainTransitionGraphFunc::level [private]

Definition at line 26 of file domain_transition_graph_func.h.

vector<Transition> DomainTransitionGraphFunc::transitions [private]

Definition at line 27 of file domain_transition_graph_func.h.

vector<FuncTransitionLabel> DomainTransitionGraphFunc::transitions

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

---

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

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