#include <module.h>

Public Member Functions | |
| void | generate_cpp_input (ostream &outfile) const |
| Translate (istream &in, vector< Variable * > variables) | |
| virtual | ~Translate () |
Public Attributes | |
| string | name |
| vector< string > | params |
| Variable * | var |
Definition at line 55 of file preprocess/module.h.
| Translate::Translate | ( | istream & | in, |
| vector< Variable * > | variables | ||
| ) |
Definition at line 75 of file preprocess/module.cpp.
| Translate::~Translate | ( | ) | [virtual] |
Definition at line 137 of file preprocess/module.cpp.
| void Translate::generate_cpp_input | ( | ostream & | outfile | ) | const |
Reimplemented in TranslateFunction, and TranslatePredicate.
Definition at line 91 of file preprocess/module.cpp.
| string Translate::name |
Definition at line 58 of file preprocess/module.h.
| vector<string> Translate::params |
Definition at line 59 of file preprocess/module.h.
| Variable* Translate::var |
Definition at line 60 of file preprocess/module.h.