Classes | Functions
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.



tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06