DomainTransitionGraphSubterm Member List
This is the complete list of members for DomainTransitionGraphSubterm, 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_parentsDomainTransitionGraph
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]
copDomainTransitionGraphSubterm [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 typedefDomainTransitionGraph
EdgeCondition typedefDomainTransitionGraph
finalize()DomainTransitionGraphSubterm [virtual]
fopDomainTransitionGraphSubterm [private]
generate_cpp_input(ostream &outfile) const DomainTransitionGraphSubterm [virtual]
global_to_local_ccg_parentsDomainTransitionGraph
is_axiomDomainTransitionGraph
is_comparisonDomainTransitionGraphSubterm [private]
is_strongly_connected() const DomainTransitionGraphSubterm [virtual]
left_varDomainTransitionGraphSubterm [private]
left_varDomainTransitionGraphSubterm
levelDomainTransitionGraphSubterm [private]
opDomainTransitionGraphSubterm
read_all(istream &in)DomainTransitionGraph [static]
read_data(istream &in)DomainTransitionGraphSubterm [virtual]
right_varDomainTransitionGraphSubterm [private]
right_varDomainTransitionGraphSubterm
SetEdgeCondition typedefDomainTransitionGraph
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]
varDomainTransitionGraph
~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