, including all inherited members.
| addAxRelTransition(int from, int to, const Axiom_relational &ax, int ax_index) | DomainTransitionGraphSubterm | [virtual] |
| addTransition(int from, int to, const Operator &op, int op_index, trans_type type, vector< Variable * > variables) | DomainTransitionGraphSubterm | [virtual] |
| ccg_parents | DomainTransitionGraph | |
| collect_func_transitions(int var, map< int, int > &global_to_ccg_parent) | DomainTransitionGraph | [static] |
| compute_causal_graph_parents_comp(int var, map< int, int > &global_to_ccg_parent) | DomainTransitionGraph | [static] |
| cop | DomainTransitionGraphSubterm | [private] |
| DomainTransitionGraphSubterm(const Variable &var) | DomainTransitionGraphSubterm | |
| DomainTransitionGraphSubterm(int var_index) | DomainTransitionGraphSubterm | |
| DomainTransitionGraphSubterm(const DomainTransitionGraphSubterm &other) | DomainTransitionGraphSubterm | [private] |
| dump() const | DomainTransitionGraphSubterm | [virtual] |
| dump() const | DomainTransitionGraphSubterm | [virtual] |
| Edge typedef | DomainTransitionGraph | |
| EdgeCondition typedef | DomainTransitionGraph | |
| finalize() | DomainTransitionGraphSubterm | [virtual] |
| fop | DomainTransitionGraphSubterm | [private] |
| generate_cpp_input(ostream &outfile) const | DomainTransitionGraphSubterm | [virtual] |
| global_to_local_ccg_parents | DomainTransitionGraph | |
| is_axiom | DomainTransitionGraph | |
| is_comparison | DomainTransitionGraphSubterm | [private] |
| is_strongly_connected() const | DomainTransitionGraphSubterm | [virtual] |
| left_var | DomainTransitionGraphSubterm | [private] |
| left_var | DomainTransitionGraphSubterm | |
| level | DomainTransitionGraphSubterm | [private] |
| op | DomainTransitionGraphSubterm | |
| read_all(istream &in) | DomainTransitionGraph | [static] |
| read_data(istream &in) | DomainTransitionGraphSubterm | [virtual] |
| right_var | DomainTransitionGraphSubterm | [private] |
| right_var | DomainTransitionGraphSubterm | |
| SetEdgeCondition typedef | DomainTransitionGraph | |
| setRelation(Variable *left_var, compoperator op, Variable *right_var) | DomainTransitionGraphSubterm | |
| setRelation(Variable *left_var, foperator op, Variable *right_var) | DomainTransitionGraphSubterm | |
| translate_global_to_local(map< int, int > &global_to_ccg_parent, int global_var) | DomainTransitionGraph | [protected] |
| var | DomainTransitionGraph | |
| ~DomainTransitionGraph() | DomainTransitionGraph | [inline, virtual] |
| ~DomainTransitionGraph() | DomainTransitionGraph | [inline, virtual] |