Classes | Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | Protected Member Functions
DomainTransitionGraph Class Reference

#include <domain_transition_graph.h>

Inheritance diagram for DomainTransitionGraph:
Inheritance graph
[legend]

List of all members.

Classes

struct  CompareCondsIgnoringType

Public Types

typedef std::tr1::tuple< const
Variable *, double,
condition_type
Edge
typedef vector
< std::tr1::tuple< const
Variable *, double,
condition_type > > 
EdgeCondition
typedef set< Edge,
CompareCondsIgnoringType
SetEdgeCondition

Public Member Functions

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

Static Public Member Functions

static void collect_func_transitions (int var, map< int, int > &global_to_ccg_parent)
static void compute_causal_graph_parents_comp (int var, map< int, int > &global_to_ccg_parent)
static void read_all (istream &in)

Public Attributes

vector< int > ccg_parents
hashmap global_to_local_ccg_parents
bool is_axiom
int var

Protected Member Functions

int translate_global_to_local (map< int, int > &global_to_ccg_parent, int global_var)

Detailed Description

Definition at line 13 of file preprocess/domain_transition_graph.h.


Member Typedef Documentation

typedef std::tr1::tuple<const Variable*, double, condition_type> DomainTransitionGraph::Edge

Definition at line 15 of file preprocess/domain_transition_graph.h.

typedef vector<std::tr1::tuple<const Variable *, double, condition_type> > DomainTransitionGraph::EdgeCondition

Definition at line 31 of file preprocess/domain_transition_graph.h.

Definition at line 30 of file preprocess/domain_transition_graph.h.


Constructor & Destructor Documentation

virtual DomainTransitionGraph::~DomainTransitionGraph ( ) [inline, virtual]

Definition at line 33 of file preprocess/domain_transition_graph.h.

virtual DomainTransitionGraph::~DomainTransitionGraph ( ) [inline, virtual]

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


Member Function Documentation

virtual void DomainTransitionGraph::addAxRelTransition ( int  from,
int  to,
const Axiom_relational ax,
int  ax_index 
) [pure virtual]
virtual void DomainTransitionGraph::addTransition ( int  from,
int  to,
const Operator op,
int  op_index,
trans_type  type,
vector< Variable * >  variables 
) [pure virtual]
void DomainTransitionGraph::collect_func_transitions ( int  var,
map< int, int > &  global_to_ccg_parent 
) [static]

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

void DomainTransitionGraph::compute_causal_graph_parents_comp ( int  var,
map< int, int > &  global_to_ccg_parent 
) [static]

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

virtual void DomainTransitionGraph::dump ( ) const [pure virtual]
virtual void DomainTransitionGraph::dump ( ) const [pure virtual]
virtual void DomainTransitionGraph::finalize ( ) [pure virtual]
virtual void DomainTransitionGraph::generate_cpp_input ( ostream &  outfile) const [pure virtual]
virtual bool DomainTransitionGraph::is_strongly_connected ( ) const [pure virtual]
void DomainTransitionGraph::read_all ( istream &  in) [static]

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

virtual void DomainTransitionGraph::read_data ( istream &  in) [pure virtual]
int DomainTransitionGraph::translate_global_to_local ( map< int, int > &  global_to_ccg_parent,
int  global_var 
) [protected]

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


Member Data Documentation

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

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

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

Definition at line 119 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