klee::Interpreter::Interpreter::ModuleOptions Struct Reference

#include <Interpreter.h>

List of all members.

Public Member Functions
	ModuleOptions (const std::string &_LibraryDir, bool _Optimize, bool _CheckDivZero)
Public Attributes
std::string	LibraryDir
bool	Optimize
bool	CheckDivZero

---

Detailed Description

ModuleOptions - Module level options which can be set when registering a module with the interpreter.

Definition at line 50 of file Interpreter.h.

---

Constructor & Destructor Documentation

klee::Interpreter::Interpreter::ModuleOptions::ModuleOptions	(	const std::string &	_LibraryDir,
		bool	_Optimize,
		bool	_CheckDivZero
	)			[inline]

Definition at line 55 of file Interpreter.h.

---

Member Data Documentation

bool klee::Interpreter::Interpreter::ModuleOptions::CheckDivZero

Definition at line 53 of file Interpreter.h.

Referenced by klee::KModule::prepare().

std::string klee::Interpreter::Interpreter::ModuleOptions::LibraryDir

Definition at line 51 of file Interpreter.h.

Referenced by klee::KModule::prepare().

bool klee::Interpreter::Interpreter::ModuleOptions::Optimize

Definition at line 52 of file Interpreter.h.

Referenced by klee::KModule::prepare().

---

The documentation for this struct was generated from the following file:

• include/klee/Interpreter.h