generate_cpp_input(ostream &outfile) const | TranslatePredicate | |
name | Translate | |
params | Translate | |
Translate(istream &in, vector< Variable * > variables) | Translate | |
TranslatePredicate(istream &in, vector< Variable * > variables) | TranslatePredicate | |
value | TranslatePredicate | |
var | Translate | |
~Translate() | Translate | [virtual] |