Public Member Functions | Private Types | Private Member Functions | Private Attributes
SuccessorGenerator Class Reference

#include <successor_generator.h>

Inheritance diagram for SuccessorGenerator:
Inheritance graph
[legend]

List of all members.

Public Member Functions

virtual void _dump (string indent)=0
void dump ()
void dump () const
virtual void generate_applicable_ops (const TimeStampedState &curr, std::vector< const Operator * > &ops)=0
void generate_cpp_input (ostream &outfile) const
 SuccessorGenerator ()
 SuccessorGenerator (const vector< Variable * > &variables, const vector< Operator > &operators)
virtual ~SuccessorGenerator ()
 ~SuccessorGenerator ()

Private Types

typedef vector< pair< Variable
*, int > > 
Condition

Private Member Functions

GeneratorBaseconstruct_recursive (int switchVarNo, list< int > &ops)
 SuccessorGenerator (const SuccessorGenerator &copy)

Private Attributes

vector< Conditionconditions
vector< Condition::const_iterator > next_condition_by_op
GeneratorBaseroot
vector< Variable * > varOrder

Detailed Description

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


Member Typedef Documentation

typedef vector<pair<Variable *, int> > SuccessorGenerator::Condition [private]

Definition at line 19 of file preprocess/successor_generator.h.


Constructor & Destructor Documentation

Definition at line 242 of file preprocess/successor_generator.cpp.

SuccessorGenerator::SuccessorGenerator ( const vector< Variable * > &  variables,
const vector< Operator > &  operators 
)

Definition at line 135 of file preprocess/successor_generator.cpp.

Definition at line 246 of file preprocess/successor_generator.cpp.

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

Definition at line 13 of file search/successor_generator.h.


Member Function Documentation

virtual void SuccessorGenerator::_dump ( string  indent) [pure virtual]
GeneratorBase * SuccessorGenerator::construct_recursive ( int  switchVarNo,
list< int > &  ops 
) [private]

Definition at line 170 of file preprocess/successor_generator.cpp.

void SuccessorGenerator::dump ( ) [inline]

Definition at line 18 of file search/successor_generator.h.

void SuccessorGenerator::dump ( ) const

Definition at line 250 of file preprocess/successor_generator.cpp.

virtual void SuccessorGenerator::generate_applicable_ops ( const TimeStampedState curr,
std::vector< const Operator * > &  ops 
) [pure virtual]
void SuccessorGenerator::generate_cpp_input ( ostream &  outfile) const

Definition at line 254 of file preprocess/successor_generator.cpp.


Member Data Documentation

Definition at line 23 of file preprocess/successor_generator.h.

vector<Condition::const_iterator> SuccessorGenerator::next_condition_by_op [private]

Definition at line 24 of file preprocess/successor_generator.h.

Definition at line 17 of file preprocess/successor_generator.h.

vector<Variable *> SuccessorGenerator::varOrder [private]

Definition at line 25 of file preprocess/successor_generator.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:04