ExprEngine::StringLiteralValue Class Reference

#include <exprengine.h>

Inheritance diagram for ExprEngine::StringLiteralValue:

Public Member Functions
	StringLiteralValue (const std::string &name, const std::string &s)
std::string	getRange () const override
int	size () const
Public Member Functions inherited from ExprEngine::Value
	Value (const std::string &name, const ValueType type)
virtual	~Value ()
virtual std::string	getSymbolicExpression () 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
const std::string	string
Public Attributes inherited from ExprEngine::Value
const std::string	name
ValueType	type

Detailed Description

Definition at line 221 of file exprengine.h.

Constructor & Destructor Documentation

StringLiteralValue()

ExprEngine::StringLiteralValue::StringLiteralValue ( const std::string &  name, const std::string &  s  )

inline

Definition at line 223 of file exprengine.h.

Member Function Documentation

getRange()

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

inlineoverridevirtual

Reimplemented from ExprEngine::Value.

Definition at line 225 of file exprengine.h.

size()

int ExprEngine::StringLiteralValue::size ( ) const

inline

Definition at line 229 of file exprengine.h.

Member Data Documentation

string

const std::string ExprEngine::StringLiteralValue::string

Definition at line 232 of file exprengine.h.

---

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

• exprengine.h