#include <successor_generator.h>
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 | |
GeneratorBase * | construct_recursive (int switchVarNo, list< int > &ops) |
SuccessorGenerator (const SuccessorGenerator ©) | |
Private Attributes | |
vector< Condition > | conditions |
vector< Condition::const_iterator > | next_condition_by_op |
GeneratorBase * | root |
vector< Variable * > | varOrder |
Definition at line 15 of file preprocess/successor_generator.h.
typedef vector<pair<Variable *, int> > SuccessorGenerator::Condition [private] |
Definition at line 19 of file preprocess/successor_generator.h.
SuccessorGenerator::SuccessorGenerator | ( | const SuccessorGenerator & | copy | ) | [private] |
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.
virtual void SuccessorGenerator::_dump | ( | string | indent | ) | [pure virtual] |
Implemented in SuccessorGeneratorGenerate, and SuccessorGeneratorSwitch.
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.
vector<Condition> SuccessorGenerator::conditions [private] |
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.
GeneratorBase* SuccessorGenerator::root [private] |
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.