#include <exprengine.h>

Inheritance diagram for ExprEngine::IntegerTruncation:

Public Member Functions
	IntegerTruncation (const std::string &name, ValuePtr inputValue, int bits, char sign)

std::string	getSymbolicExpression () const override

Public Member Functions inherited from ExprEngine::Value
	Value (const std::string &name, const ValueType type)

virtual	~Value ()

virtual std::string	getRange () const

virtual bool	isEqual (const DataBase *dataBase, int value) const

virtual bool	isGreaterThan (const DataBase *dataBase, int value) const

virtual bool	isLessThan (const DataBase *dataBase, int value) const

virtual bool	isUninit (const DataBase *dataBase) const

Public Attributes
ExprEngine::ValuePtr	inputValue

int	bits

char	sign

Public Attributes inherited from ExprEngine::Value
const std::string	name

ValueType	type

Detailed Description

Definition at line 301 of file exprengine.h.

Constructor & Destructor Documentation

ExprEngine::IntegerTruncation::IntegerTruncation	(	const std::string &	name,
		ValuePtr	inputValue,
		int	bits,
		char	sign
	)

inline

Definition at line 303 of file exprengine.h.

std::string ExprEngine::IntegerTruncation::getSymbolicExpression ( ) const

overridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 1115 of file exprengine.cpp.

int ExprEngine::IntegerTruncation::bits

Definition at line 312 of file exprengine.h.

ExprEngine::ValuePtr ExprEngine::IntegerTruncation::inputValue

Definition at line 311 of file exprengine.h.

char ExprEngine::IntegerTruncation::sign

Definition at line 313 of file exprengine.h.

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