#include <domain_transition_graph.h>
Public Member Functions | |
DomainTransitionGraphModule (int var_index) | |
void | dump () const |
void | read_data (istream &in) |
Private 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) |
void | dump () const |
void | finalize () |
void | generate_cpp_input (ostream &outfile) const |
bool | is_strongly_connected () const |
Definition at line 46 of file preprocess/domain_transition_graph.h.
DomainTransitionGraphModule::DomainTransitionGraphModule | ( | int | var_index | ) | [inline] |
Definition at line 140 of file search/domain_transition_graph.h.
void DomainTransitionGraphModule::addAxRelTransition | ( | int | from, |
int | to, | ||
const Axiom_relational & | ax, | ||
int | ax_index | ||
) | [inline, private, virtual] |
Implements DomainTransitionGraph.
Definition at line 52 of file preprocess/domain_transition_graph.h.
void DomainTransitionGraphModule::addTransition | ( | int | from, |
int | to, | ||
const Operator & | op, | ||
int | op_index, | ||
trans_type | type, | ||
vector< Variable * > | variables | ||
) | [inline, private, virtual] |
Implements DomainTransitionGraph.
Definition at line 48 of file preprocess/domain_transition_graph.h.
void DomainTransitionGraphModule::dump | ( | ) | const [inline, private, virtual] |
Implements DomainTransitionGraph.
Definition at line 59 of file preprocess/domain_transition_graph.h.
void DomainTransitionGraphModule::dump | ( | ) | const [inline, virtual] |
Implements DomainTransitionGraph.
Definition at line 150 of file search/domain_transition_graph.h.
void DomainTransitionGraphModule::finalize | ( | ) | [inline, private, virtual] |
Implements DomainTransitionGraph.
Definition at line 56 of file preprocess/domain_transition_graph.h.
void DomainTransitionGraphModule::generate_cpp_input | ( | ostream & | outfile | ) | const [inline, private, virtual] |
Implements DomainTransitionGraph.
Definition at line 62 of file preprocess/domain_transition_graph.h.
bool DomainTransitionGraphModule::is_strongly_connected | ( | ) | const [inline, private, virtual] |
Implements DomainTransitionGraph.
Definition at line 66 of file preprocess/domain_transition_graph.h.
void DomainTransitionGraphModule::read_data | ( | istream & | in | ) | [inline, virtual] |
Implements DomainTransitionGraph.
Definition at line 144 of file search/domain_transition_graph.h.