
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.