ExprEngine::IntRange Class Reference

#include <exprengine.h>

Inheritance diagram for ExprEngine::IntRange:

Public Member Functions
	IntRange (const std::string &name, int128_t minValue, int128_t maxValue)
std::string	getRange () const override
bool	isEqual (const DataBase *dataBase, int value) const override
bool	isGreaterThan (const DataBase *dataBase, int value) const override
bool	isLessThan (const DataBase *dataBase, int value) const override
Public Member Functions inherited from ExprEngine::Value
	Value (const std::string &name, const ValueType type)
virtual	~Value ()
virtual std::string	getSymbolicExpression () const
virtual bool	isUninit (const DataBase *dataBase) const

Public Attributes
int128_t	minValue
int128_t	maxValue
const Scope *	loopScope
Public Attributes inherited from ExprEngine::Value
const std::string	name
ValueType	type

Detailed Description

Definition at line 142 of file exprengine.h.

Constructor & Destructor Documentation

IntRange()

ExprEngine::IntRange::IntRange ( const std::string &  name, int128_t  minValue, int128_t  maxValue  )

inline

Definition at line 144 of file exprengine.h.

Member Function Documentation

getRange()

std::string ExprEngine::IntRange::getRange ( ) const

inlineoverridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 149 of file exprengine.h.

References maxValue, minValue, and ExprEngine::str().

isEqual()

bool ExprEngine::IntRange::isEqual ( const DataBase *  dataBase, int  value  ) const

overridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 1351 of file exprengine.cpp.

isGreaterThan()

bool ExprEngine::IntRange::isGreaterThan ( const DataBase *  dataBase, int  value  ) const

overridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 1383 of file exprengine.cpp.

isLessThan()

bool ExprEngine::IntRange::isLessThan ( const DataBase *  dataBase, int  value  ) const

overridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 1415 of file exprengine.cpp.

Member Data Documentation

loopScope

const Scope* ExprEngine::IntRange::loopScope

Definition at line 160 of file exprengine.h.

maxValue

int128_t ExprEngine::IntRange::maxValue

Definition at line 159 of file exprengine.h.

Referenced by getRange().

minValue

int128_t ExprEngine::IntRange::minValue

Definition at line 158 of file exprengine.h.

Referenced by getRange().

---

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

• exprengine.h
• exprengine.cpp