#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.