Public Member Functions | Public Attributes | Private Member Functions
DomainTransitionGraphComp Class Reference

#include <domain_transition_graph.h>

Inheritance diagram for DomainTransitionGraphComp:
Inheritance graph
[legend]

List of all members.

Public Member Functions

void collect_recursively_func_transitions (int var, map< int, int > &global_to_ccg_parent)
void compute_recursively_parents (int var, map< int, int > &global_to_ccg_parent)
 DomainTransitionGraphComp (int var_index)
virtual void dump () const
virtual void read_data (istream &in)

Public Attributes

std::pair< CompTransition,
CompTransition
nodes
vector< FuncTransitionLabeltransitions

Private Member Functions

 DomainTransitionGraphComp (const DomainTransitionGraphComp &other)

Detailed Description

Definition at line 201 of file search/domain_transition_graph.h.


Constructor & Destructor Documentation

Definition at line 478 of file search/domain_transition_graph.cpp.


Member Function Documentation

void DomainTransitionGraphComp::collect_recursively_func_transitions ( int  var,
map< int, int > &  global_to_ccg_parent 
)

Definition at line 530 of file search/domain_transition_graph.cpp.

void DomainTransitionGraphComp::compute_recursively_parents ( int  var,
map< int, int > &  global_to_ccg_parent 
)

Definition at line 495 of file search/domain_transition_graph.cpp.

void DomainTransitionGraphComp::dump ( ) const [virtual]

Implements DomainTransitionGraph.

Definition at line 580 of file search/domain_transition_graph.cpp.

void DomainTransitionGraphComp::read_data ( istream &  in) [virtual]

Implements DomainTransitionGraph.

Definition at line 484 of file search/domain_transition_graph.cpp.


Member Data Documentation

Definition at line 209 of file search/domain_transition_graph.h.

Definition at line 207 of file search/domain_transition_graph.h.


The documentation for this class was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:03