#include <domain_transition_graph_symb.h>
Classes | |
struct | Transition |
Public 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) |
DomainTransitionGraphSymb (const Variable &var) | |
DomainTransitionGraphSymb (int var_index, int node_count) | |
void | dump () const |
virtual void | dump () const |
void | finalize () |
void | generate_cpp_input (ostream &outfile) const |
virtual void | get_successors (int value, vector< int > &result) const |
bool | is_strongly_connected () const |
virtual void | read_data (istream &in) |
Public Attributes | |
vector< ValueNode > | nodes |
Private Types | |
typedef vector< Transition > | Vertex |
Private Member Functions | |
bool | add_relevant_functional_vars_to_context (int var_no, map< int, int > &global_to_ccg_parent) |
void | compress_effects (const Operator *op, vector< PrePost > &pre_post) |
DomainTransitionGraphSymb (const DomainTransitionGraphSymb &other) | |
void | extend_cyclic_effect (const PrePost &pre_post, vector< LocalAssignment > &cyclic_effect, map< int, int > &global_to_ccg_parent, const vector< pair< int, int > > &precond_pairs) |
Private Attributes | |
int | level |
vector< Vertex > | vertices |
Definition at line 13 of file domain_transition_graph_symb.h.
typedef vector<Transition> DomainTransitionGraphSymb::Vertex [private] |
Definition at line 33 of file domain_transition_graph_symb.h.
DomainTransitionGraphSymb::DomainTransitionGraphSymb | ( | const Variable & | var | ) |
Definition at line 20 of file domain_transition_graph_symb.cpp.
DomainTransitionGraphSymb::DomainTransitionGraphSymb | ( | int | var_index, |
int | node_count | ||
) |
Definition at line 106 of file search/domain_transition_graph.cpp.
DomainTransitionGraphSymb::DomainTransitionGraphSymb | ( | const DomainTransitionGraphSymb & | other | ) | [private] |
bool DomainTransitionGraphSymb::add_relevant_functional_vars_to_context | ( | int | var_no, |
map< int, int > & | global_to_ccg_parent | ||
) | [private] |
Definition at line 299 of file search/domain_transition_graph.cpp.
void DomainTransitionGraphSymb::addAxRelTransition | ( | int | from, |
int | to, | ||
const Axiom_relational & | ax, | ||
int | ax_index | ||
) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 126 of file domain_transition_graph_symb.cpp.
void DomainTransitionGraphSymb::addTransition | ( | int | from, |
int | to, | ||
const Operator & | op, | ||
int | op_index, | ||
trans_type | type, | ||
vector< Variable * > | variables | ||
) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 32 of file domain_transition_graph_symb.cpp.
void DomainTransitionGraphSymb::compress_effects | ( | const Operator * | op, |
vector< PrePost > & | pre_post | ||
) | [private] |
Definition at line 321 of file search/domain_transition_graph.cpp.
void DomainTransitionGraphSymb::dump | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 289 of file domain_transition_graph_symb.cpp.
virtual void DomainTransitionGraphSymb::dump | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
void DomainTransitionGraphSymb::extend_cyclic_effect | ( | const PrePost & | pre_post, |
vector< LocalAssignment > & | cyclic_effect, | ||
map< int, int > & | global_to_ccg_parent, | ||
const vector< pair< int, int > > & | precond_pairs | ||
) | [private] |
Definition at line 247 of file search/domain_transition_graph.cpp.
void DomainTransitionGraphSymb::finalize | ( | ) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 155 of file domain_transition_graph_symb.cpp.
void DomainTransitionGraphSymb::generate_cpp_input | ( | ostream & | outfile | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 308 of file domain_transition_graph_symb.cpp.
void DomainTransitionGraphSymb::get_successors | ( | int | value, |
vector< int > & | result | ||
) | const [virtual] |
Definition at line 371 of file search/domain_transition_graph.cpp.
bool DomainTransitionGraphSymb::is_strongly_connected | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 263 of file domain_transition_graph_symb.cpp.
void DomainTransitionGraphSymb::read_data | ( | istream & | in | ) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 115 of file search/domain_transition_graph.cpp.
int DomainTransitionGraphSymb::level [private] |
Definition at line 35 of file domain_transition_graph_symb.h.
Definition at line 158 of file search/domain_transition_graph.h.
vector<Vertex> DomainTransitionGraphSymb::vertices [private] |
Definition at line 34 of file domain_transition_graph_symb.h.