#include <domain_transition_graph_func.h>
Classes | |
struct | Transition |
Public Member Functions | |
void | addAxRelTransition (int from, int to, const Axiom_relational &ax, int ax_index) |
void | addTransition (int foperator, int right_var, const Operator &op, int op_index, trans_type type, vector< Variable * > variables) |
DomainTransitionGraphFunc (const Variable &var) | |
DomainTransitionGraphFunc (int var_index) | |
void | dump () const |
virtual void | dump () const |
void | finalize () |
void | generate_cpp_input (ostream &outfile) const |
bool | is_strongly_connected () const |
virtual void | read_data (istream &in) |
Public Attributes | |
vector< FuncTransitionLabel > | transitions |
Private Member Functions | |
DomainTransitionGraphFunc (const DomainTransitionGraphFunc &other) | |
Private Attributes | |
int | level |
vector< Transition > | transitions |
Definition at line 11 of file domain_transition_graph_func.h.
DomainTransitionGraphFunc::DomainTransitionGraphFunc | ( | const Variable & | var | ) |
Definition at line 12 of file domain_transition_graph_func.cpp.
DomainTransitionGraphFunc::DomainTransitionGraphFunc | ( | int | var_index | ) |
Definition at line 400 of file search/domain_transition_graph.cpp.
DomainTransitionGraphFunc::DomainTransitionGraphFunc | ( | const DomainTransitionGraphFunc & | other | ) | [private] |
void DomainTransitionGraphFunc::addAxRelTransition | ( | int | from, |
int | to, | ||
const Axiom_relational & | ax, | ||
int | ax_index | ||
) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 110 of file domain_transition_graph_func.cpp.
void DomainTransitionGraphFunc::addTransition | ( | int | foperator, |
int | right_var, | ||
const Operator & | op, | ||
int | op_index, | ||
trans_type | type, | ||
vector< Variable * > | variables | ||
) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 18 of file domain_transition_graph_func.cpp.
void DomainTransitionGraphFunc::dump | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 121 of file domain_transition_graph_func.cpp.
virtual void DomainTransitionGraphFunc::dump | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
void DomainTransitionGraphFunc::finalize | ( | ) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 114 of file domain_transition_graph_func.cpp.
void DomainTransitionGraphFunc::generate_cpp_input | ( | ostream & | outfile | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 142 of file domain_transition_graph_func.cpp.
bool DomainTransitionGraphFunc::is_strongly_connected | ( | ) | const [virtual] |
Implements DomainTransitionGraph.
Definition at line 117 of file domain_transition_graph_func.cpp.
void DomainTransitionGraphFunc::read_data | ( | istream & | in | ) | [virtual] |
Implements DomainTransitionGraph.
Definition at line 406 of file search/domain_transition_graph.cpp.
int DomainTransitionGraphFunc::level [private] |
Definition at line 26 of file domain_transition_graph_func.h.
vector<Transition> DomainTransitionGraphFunc::transitions [private] |
Definition at line 27 of file domain_transition_graph_func.h.
Definition at line 192 of file search/domain_transition_graph.h.