#include <domain_transition_graph.h>
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) |
Definition at line 13 of file preprocess/domain_transition_graph.h.
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.
Definition at line 30 of file preprocess/domain_transition_graph.h.
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.
virtual void DomainTransitionGraph::addAxRelTransition | ( | int | from, |
int | to, | ||
const Axiom_relational & | ax, | ||
int | ax_index | ||
) | [pure virtual] |
virtual void DomainTransitionGraph::addTransition | ( | int | from, |
int | to, | ||
const Operator & | op, | ||
int | op_index, | ||
trans_type | type, | ||
vector< Variable * > | variables | ||
) | [pure virtual] |
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] |
virtual void DomainTransitionGraph::dump | ( | ) | const [pure virtual] |
virtual void DomainTransitionGraph::finalize | ( | ) | [pure virtual] |
virtual void DomainTransitionGraph::generate_cpp_input | ( | ostream & | outfile | ) | const [pure virtual] |
virtual bool DomainTransitionGraph::is_strongly_connected | ( | ) | const [pure virtual] |
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] |
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.
vector<int> DomainTransitionGraph::ccg_parents |
Definition at line 122 of file search/domain_transition_graph.h.
Definition at line 125 of file search/domain_transition_graph.h.
Definition at line 120 of file search/domain_transition_graph.h.
Definition at line 119 of file search/domain_transition_graph.h.