#include <domain_transition_graph.h>
Public Member Functions | |
void | collect_recursively_func_transitions (int var, map< int, int > &global_to_ccg_parent) |
void | compute_recursively_parents (int var, map< int, int > &global_to_ccg_parent) |
DomainTransitionGraphComp (int var_index) | |
virtual void | dump () const |
virtual void | read_data (istream &in) |
Public Attributes | |
std::pair< CompTransition, CompTransition > | nodes |
vector< FuncTransitionLabel > | transitions |
Private Member Functions | |
DomainTransitionGraphComp (const DomainTransitionGraphComp &other) |
Definition at line 201 of file search/domain_transition_graph.h.
DomainTransitionGraphComp::DomainTransitionGraphComp | ( | int | var_index | ) |
Definition at line 478 of file search/domain_transition_graph.cpp.
DomainTransitionGraphComp::DomainTransitionGraphComp | ( | const DomainTransitionGraphComp & | other | ) | [private] |
void DomainTransitionGraphComp::collect_recursively_func_transitions | ( | int | var, |
map< int, int > & | global_to_ccg_parent | ||
) |
Definition at line 530 of file search/domain_transition_graph.cpp.
void DomainTransitionGraphComp::compute_recursively_parents | ( | int | var, |
map< int, int > & | global_to_ccg_parent | ||
) |
Definition at line 495 of file search/domain_transition_graph.cpp.
void DomainTransitionGraphComp::dump | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 580 of file search/domain_transition_graph.cpp.
void DomainTransitionGraphComp::read_data | ( | istream & | in | ) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 484 of file search/domain_transition_graph.cpp.
Definition at line 209 of file search/domain_transition_graph.h.
Definition at line 207 of file search/domain_transition_graph.h.