DomainTransitionGraphSymb Member List
This is the complete list of members for DomainTransitionGraphSymb, 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_parentsDomainTransitionGraph
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 typedefDomainTransitionGraph
EdgeCondition typedefDomainTransitionGraph
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_parentsDomainTransitionGraph
is_axiomDomainTransitionGraph
is_strongly_connected() const DomainTransitionGraphSymb [virtual]
levelDomainTransitionGraphSymb [private]
nodesDomainTransitionGraphSymb
read_all(istream &in)DomainTransitionGraph [static]
read_data(istream &in)DomainTransitionGraphSymb [virtual]
SetEdgeCondition typedefDomainTransitionGraph
translate_global_to_local(map< int, int > &global_to_ccg_parent, int global_var)DomainTransitionGraph [protected]
varDomainTransitionGraph
Vertex typedefDomainTransitionGraphSymb [private]
verticesDomainTransitionGraphSymb [private]
~DomainTransitionGraph()DomainTransitionGraph [inline, virtual]
~DomainTransitionGraph()DomainTransitionGraph [inline, virtual]


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06