DomainTransitionGraphModule Class Reference

#include <domain_transition_graph.h>

Inheritance diagram for DomainTransitionGraphModule:

List of all members.

Public Member Functions
	DomainTransitionGraphModule (int var_index)
void	dump () const
void	read_data (istream &in)
Private 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)
void	dump () const
void	finalize ()
void	generate_cpp_input (ostream &outfile) const
bool	is_strongly_connected () const

---

Detailed Description

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

---

Constructor & Destructor Documentation

DomainTransitionGraphModule::DomainTransitionGraphModule

(

int

var_index

)

[inline]

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

---

Member Function Documentation

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

Implements DomainTransitionGraph.

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

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

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::dump

(

)

const [inline, private, virtual]

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::dump

(

)

const [inline, virtual]

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::finalize

(

)

[inline, private, virtual]

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::generate_cpp_input

(

ostream &

outfile

)

const [inline, private, virtual]

Implements DomainTransitionGraph.

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

bool DomainTransitionGraphModule::is_strongly_connected

(

)

const [inline, private, virtual]

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::read_data

(

istream &

in

)

[inline, virtual]

Implements DomainTransitionGraph.

Definition at line 144 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