Public Member Functions | Public Attributes
Translate Class Reference

#include <module.h>

Inheritance diagram for Translate:
Inheritance graph
[legend]

List of all members.

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

Detailed Description

Definition at line 55 of file preprocess/module.h.


Constructor & Destructor Documentation

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.


Member Function Documentation

void Translate::generate_cpp_input ( ostream &  outfile) const

Reimplemented in TranslateFunction, and TranslatePredicate.

Definition at line 91 of file preprocess/module.cpp.


Member Data Documentation

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.


The documentation for this class was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Tue Jan 22 2013 12:25:04