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