Classes | Public Member Functions | Public Attributes | Private Member Functions | Private Attributes
DomainTransitionGraphFunc Class Reference

#include <domain_transition_graph_func.h>

Inheritance diagram for DomainTransitionGraphFunc:
Inheritance graph
[legend]

List of all members.

Classes

struct  Transition

Public Member Functions

void addAxRelTransition (int from, int to, const Axiom_relational &ax, int ax_index)
void addTransition (int foperator, int right_var, const Operator &op, int op_index, trans_type type, vector< Variable * > variables)
 DomainTransitionGraphFunc (const Variable &var)
 DomainTransitionGraphFunc (int var_index)
void dump () const
virtual void dump () const
void finalize ()
void generate_cpp_input (ostream &outfile) const
bool is_strongly_connected () const
virtual void read_data (istream &in)

Public Attributes

vector< FuncTransitionLabeltransitions

Private Member Functions

 DomainTransitionGraphFunc (const DomainTransitionGraphFunc &other)

Private Attributes

int level
vector< Transitiontransitions

Detailed Description

Definition at line 11 of file domain_transition_graph_func.h.


Constructor & Destructor Documentation

Definition at line 12 of file domain_transition_graph_func.cpp.

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


Member Function Documentation

void DomainTransitionGraphFunc::addAxRelTransition ( int  from,
int  to,
const Axiom_relational ax,
int  ax_index 
) [virtual]

Implements DomainTransitionGraph.

Definition at line 110 of file domain_transition_graph_func.cpp.

void DomainTransitionGraphFunc::addTransition ( int  foperator,
int  right_var,
const Operator op,
int  op_index,
trans_type  type,
vector< Variable * >  variables 
) [virtual]

Implements DomainTransitionGraph.

Definition at line 18 of file domain_transition_graph_func.cpp.

void DomainTransitionGraphFunc::dump ( ) const [virtual]

Implements DomainTransitionGraph.

Definition at line 121 of file domain_transition_graph_func.cpp.

virtual void DomainTransitionGraphFunc::dump ( ) const [virtual]

Implements DomainTransitionGraph.

Implements DomainTransitionGraph.

Definition at line 114 of file domain_transition_graph_func.cpp.

void DomainTransitionGraphFunc::generate_cpp_input ( ostream &  outfile) const [virtual]

Implements DomainTransitionGraph.

Definition at line 142 of file domain_transition_graph_func.cpp.

Implements DomainTransitionGraph.

Definition at line 117 of file domain_transition_graph_func.cpp.

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

Implements DomainTransitionGraph.

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


Member Data Documentation

Definition at line 26 of file domain_transition_graph_func.h.

Definition at line 27 of file domain_transition_graph_func.h.

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


The documentation for this class was generated from the following files:


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