TranslatePredicate Class Reference

#include <module.h>

Inheritance diagram for TranslatePredicate:

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

int TranslatePredicate::value

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

---

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

• preprocess/module.h
• preprocess/module.cpp