Public Member Functions | |
virtual void | dump (string indent) const |
virtual void | generate_cpp_input (ostream &outfile) const |
GeneratorLeaf (list< int > &operators) | |
Private Attributes | |
list< int > | applicable_ops_indices |
Definition at line 50 of file preprocess/successor_generator.cpp.
GeneratorLeaf::GeneratorLeaf | ( | list< int > & | operators | ) |
Definition at line 110 of file preprocess/successor_generator.cpp.
void GeneratorLeaf::dump | ( | string | indent | ) | const [virtual] |
Implements GeneratorBase.
Definition at line 114 of file preprocess/successor_generator.cpp.
void GeneratorLeaf::generate_cpp_input | ( | ostream & | outfile | ) | const [virtual] |
Implements GeneratorBase.
Definition at line 120 of file preprocess/successor_generator.cpp.
list<int> GeneratorLeaf::applicable_ops_indices [private] |
Definition at line 52 of file preprocess/successor_generator.cpp.