, including all inherited members.
add_relevant_functional_vars_to_context(int var_no, map< int, int > &global_to_ccg_parent) | DomainTransitionGraphSymb | [private] |
addAxRelTransition(int from, int to, const Axiom_relational &ax, int ax_index) | DomainTransitionGraphSymb | [virtual] |
addTransition(int from, int to, const Operator &op, int op_index, trans_type type, vector< Variable * > variables) | DomainTransitionGraphSymb | [virtual] |
ccg_parents | DomainTransitionGraph | |
collect_func_transitions(int var, map< int, int > &global_to_ccg_parent) | DomainTransitionGraph | [static] |
compress_effects(const Operator *op, vector< PrePost > &pre_post) | DomainTransitionGraphSymb | [private] |
compute_causal_graph_parents_comp(int var, map< int, int > &global_to_ccg_parent) | DomainTransitionGraph | [static] |
DomainTransitionGraphSymb(const Variable &var) | DomainTransitionGraphSymb | |
DomainTransitionGraphSymb(int var_index, int node_count) | DomainTransitionGraphSymb | |
DomainTransitionGraphSymb(const DomainTransitionGraphSymb &other) | DomainTransitionGraphSymb | [private] |
dump() const | DomainTransitionGraphSymb | [virtual] |
dump() const | DomainTransitionGraphSymb | [virtual] |
Edge typedef | DomainTransitionGraph | |
EdgeCondition typedef | DomainTransitionGraph | |
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) | DomainTransitionGraphSymb | [private] |
finalize() | DomainTransitionGraphSymb | [virtual] |
generate_cpp_input(ostream &outfile) const | DomainTransitionGraphSymb | [virtual] |
get_successors(int value, vector< int > &result) const | DomainTransitionGraphSymb | [virtual] |
global_to_local_ccg_parents | DomainTransitionGraph | |
is_axiom | DomainTransitionGraph | |
is_strongly_connected() const | DomainTransitionGraphSymb | [virtual] |
level | DomainTransitionGraphSymb | [private] |
nodes | DomainTransitionGraphSymb | |
read_all(istream &in) | DomainTransitionGraph | [static] |
read_data(istream &in) | DomainTransitionGraphSymb | [virtual] |
SetEdgeCondition typedef | DomainTransitionGraph | |
translate_global_to_local(map< int, int > &global_to_ccg_parent, int global_var) | DomainTransitionGraph | [protected] |
var | DomainTransitionGraph | |
Vertex typedef | DomainTransitionGraphSymb | [private] |
vertices | DomainTransitionGraphSymb | [private] |
~DomainTransitionGraph() | DomainTransitionGraph | [inline, virtual] |
~DomainTransitionGraph() | DomainTransitionGraph | [inline, virtual] |