Classes | Public Member Functions | Public Attributes | Private Types | Private Member Functions | Private Attributes
DomainTransitionGraphSymb Class Reference

#include <domain_transition_graph_symb.h>

Inheritance diagram for DomainTransitionGraphSymb:
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 from, int to, const Operator &op, int op_index, trans_type type, vector< Variable * > variables)
 DomainTransitionGraphSymb (const Variable &var)
 DomainTransitionGraphSymb (int var_index, int node_count)
void dump () const
virtual void dump () const
void finalize ()
void generate_cpp_input (ostream &outfile) const
virtual void get_successors (int value, vector< int > &result) const
bool is_strongly_connected () const
virtual void read_data (istream &in)

Public Attributes

vector< ValueNodenodes

Private Types

typedef vector< TransitionVertex

Private Member Functions

bool add_relevant_functional_vars_to_context (int var_no, map< int, int > &global_to_ccg_parent)
void compress_effects (const Operator *op, vector< PrePost > &pre_post)
 DomainTransitionGraphSymb (const DomainTransitionGraphSymb &other)
void 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)

Private Attributes

int level
vector< Vertexvertices

Detailed Description

Definition at line 13 of file domain_transition_graph_symb.h.


Member Typedef Documentation

typedef vector<Transition> DomainTransitionGraphSymb::Vertex [private]

Definition at line 33 of file domain_transition_graph_symb.h.


Constructor & Destructor Documentation

Definition at line 20 of file domain_transition_graph_symb.cpp.

DomainTransitionGraphSymb::DomainTransitionGraphSymb ( int  var_index,
int  node_count 
)

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


Member Function Documentation

bool DomainTransitionGraphSymb::add_relevant_functional_vars_to_context ( int  var_no,
map< int, int > &  global_to_ccg_parent 
) [private]

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

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

Implements DomainTransitionGraph.

Definition at line 126 of file domain_transition_graph_symb.cpp.

void DomainTransitionGraphSymb::addTransition ( int  from,
int  to,
const Operator op,
int  op_index,
trans_type  type,
vector< Variable * >  variables 
) [virtual]

Implements DomainTransitionGraph.

Definition at line 32 of file domain_transition_graph_symb.cpp.

void DomainTransitionGraphSymb::compress_effects ( const Operator op,
vector< PrePost > &  pre_post 
) [private]

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

void DomainTransitionGraphSymb::dump ( ) const [virtual]

Implements DomainTransitionGraph.

Definition at line 289 of file domain_transition_graph_symb.cpp.

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

Implements DomainTransitionGraph.

void DomainTransitionGraphSymb::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 
) [private]

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

Implements DomainTransitionGraph.

Definition at line 155 of file domain_transition_graph_symb.cpp.

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

Implements DomainTransitionGraph.

Definition at line 308 of file domain_transition_graph_symb.cpp.

void DomainTransitionGraphSymb::get_successors ( int  value,
vector< int > &  result 
) const [virtual]

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

Implements DomainTransitionGraph.

Definition at line 263 of file domain_transition_graph_symb.cpp.

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

Implements DomainTransitionGraph.

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


Member Data Documentation

Definition at line 35 of file domain_transition_graph_symb.h.

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

Definition at line 34 of file domain_transition_graph_symb.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