Public Member Functions | Public Attributes
ConditionModule Class Reference

#include <module.h>

Inheritance diagram for ConditionModule:
Inheritance graph
[legend]

List of all members.

Public Member Functions

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

Public Attributes

conditionCheckerType checkCondition
Variable * var
int var

Detailed Description

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


Constructor & Destructor Documentation

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

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

Definition at line 33 of file search/module.cpp.


Member Function Documentation

void ConditionModule::dump ( ) [virtual]

Definition at line 45 of file search/module.cpp.

void ConditionModule::generate_cpp_input ( ostream &  outfile) const

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


Member Data Documentation

conditionCheckerType ConditionModule::checkCondition

Definition at line 46 of file search/module.h.

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

Definition at line 44 of file search/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