Public Member Functions | Private Member Functions
DomainTransitionGraphModule Class Reference

#include <domain_transition_graph.h>

Inheritance diagram for DomainTransitionGraphModule:
Inheritance graph
[legend]

List of all members.

Public Member Functions

 DomainTransitionGraphModule (int var_index)
void dump () const
void read_data (istream &in)

Private 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)
void dump () const
void finalize ()
void generate_cpp_input (ostream &outfile) const
bool is_strongly_connected () const

Detailed Description

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


Constructor & Destructor Documentation

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


Member Function Documentation

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

Implements DomainTransitionGraph.

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

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

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::dump ( ) const [inline, private, virtual]

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::dump ( ) const [inline, virtual]

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::finalize ( ) [inline, private, virtual]

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::generate_cpp_input ( ostream &  outfile) const [inline, private, virtual]

Implements DomainTransitionGraph.

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

bool DomainTransitionGraphModule::is_strongly_connected ( ) const [inline, private, virtual]

Implements DomainTransitionGraph.

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

void DomainTransitionGraphModule::read_data ( istream &  in) [inline, virtual]

Implements DomainTransitionGraph.

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