#include <module.h>
Public Member Functions | |
void | generate_cpp_input (ostream &outfile) const |
TranslatePredicate (istream &in, vector< Variable * > variables) | |
Public Attributes | |
int | value |
Definition at line 66 of file preprocess/module.h.
TranslatePredicate::TranslatePredicate | ( | istream & | in, |
vector< Variable * > | variables | ||
) |
Definition at line 101 of file preprocess/module.cpp.
void TranslatePredicate::generate_cpp_input | ( | ostream & | outfile | ) | const |
Reimplemented from Translate.
Definition at line 107 of file preprocess/module.cpp.
Definition at line 69 of file preprocess/module.h.