domain_transition_graph.h File Reference

#include <set>
#include "operator.h"
#include <tr1/tuple>

Include dependency graph for preprocess/domain_transition_graph.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	DomainTransitionGraph::CompareCondsIgnoringType
class	DomainTransitionGraph
class	DomainTransitionGraphModule
Functions
bool	are_DTGs_strongly_connected (const vector< DomainTransitionGraph * > &transition_graphs)
void	build_DTGs (const vector< Variable * > &varOrder, const vector< Operator > &operators, const vector< Axiom_relational > &axioms, const vector< Axiom_functional > &axioms_func, vector< DomainTransitionGraph * > &transition_graphs)

---

Function Documentation

bool are_DTGs_strongly_connected

(

const vector< DomainTransitionGraph * > &

transition_graphs

)

Definition at line 176 of file preprocess/domain_transition_graph.cpp.

void build_DTGs	(	const vector< Variable * > &	varOrder,
		const vector< Operator > &	operators,
		const vector< Axiom_relational > &	axioms,
		const vector< Axiom_functional > &	axioms_func,
		vector< DomainTransitionGraph * > &	transition_graphs
	)

Definition at line 14 of file preprocess/domain_transition_graph.cpp.