Public Member Functions | Public Attributes
TranslatePredicate Class Reference

#include <module.h>

Inheritance diagram for TranslatePredicate:
Inheritance graph
[legend]

List of all members.

Public Member Functions

void generate_cpp_input (ostream &outfile) const
 TranslatePredicate (istream &in, vector< Variable * > variables)

Public Attributes

int value

Detailed Description

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


Constructor & Destructor Documentation

TranslatePredicate::TranslatePredicate ( istream &  in,
vector< Variable * >  variables 
)

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


Member Function Documentation

void TranslatePredicate::generate_cpp_input ( ostream &  outfile) const

Reimplemented from Translate.

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


Member Data Documentation

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


The documentation for this class was generated from the following files:


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06