---

_scv_expr Class Reference

#include <scv_constraint.h>

Collaboration diagram for _scv_expr:

[legend]List of all members.

Public Types
typedef enum _scv_expr::valueType	ExprValueType
enum	valueType {   EMPTY, INT, UNSIGNED, SC_BV_BASE,   BOOLEAN, DOUBLE, STRING, UNSIGNED_64BIT,   BDD, BDDVECTOR, BDDVECTOR_SIGNED, DOUBLE_VAR,   STRING_VAR, RECORD, ARRAY }
Public Methods
	_scv_expr ()
	_scv_expr (const _scv_expr &other)
	~_scv_expr ()
void	setType (ExprValueType type)
void	setBddNodeP (bddNodeT *)
void	setIntValue (long long)
void	setUnsignedValue (unsigned long long)
void	setBigValue (sc_bv_base &v, int bw)
void	setBooleanValue (bool)
void	setDoubleValue (double)
void	setStringValue (const char *)
void	setBddVectorP (bddVectorT *)
void	setExtensionP (scv_extensions_if *)
void	setVecSize (int s)
void	setBitWidth (int bit_width)
void	setSigWidth (int lsb, int msb)
void	setSigLsb (int lsb)
void	setSigMsb (int msb)
void	setIsVar (void)
const ExprValueType	get_type (void) const
bddNodeT *	getBddNodeP (void) const
long long	getIntValue (void) const
unsigned long long	getUnsignedValue (void) const
bool	getBoolValue (void) const
double	getDoubleValue (void) const
sc_bv_base	getBigValue (void) const
char *	getStringValue (void) const
bddVectorT *	getBddVectorP (void) const
scv_extensions_if *	getExtensionP (void) const
int	getVecSize (void) const
int	getBitWidth (void) const
int	getSigLsb (void) const
int	getSigMsb (void) const
int	isConstant (void) const
int	isBddVector (void) const
int	isBdd (void) const
int	isRecord (void) const
int	isArray (void) const
int	isSigned (void) const
int	isVarExpr (void) const
int	isDouble (void) const
int	isString (void) const
int	isEmpty (void) const
_scv_expr &	operator= (const _scv_expr &rhs)

---

Member Typedef Documentation

typedef enum _scv_expr::valueType _scv_expr::ExprValueType

Referenced by get_type().

---

Member Enumeration Documentation

enum _scv_expr::valueType

Enumeration values: EMPTY  INT  UNSIGNED  SC_BV_BASE  BOOLEAN  DOUBLE  STRING  UNSIGNED_64BIT  BDD  BDDVECTOR  BDDVECTOR_SIGNED  DOUBLE_VAR  STRING_VAR  RECORD  ARRAY  Definition at line 298 of file scv_constraint.h.

---

Constructor & Destructor Documentation

_scv_expr::_scv_expr (    )

Definition at line 373 of file scv_constraint.cpp. References EMPTY.

_scv_expr::_scv_expr (  const _scv_expr &    other )

Definition at line 384 of file scv_constraint.cpp. References bit_width, isVar, sc_data, sigLsb, sigMsb, type, value, and vecsize.

_scv_expr::~_scv_expr (    )

Definition at line 396 of file scv_constraint.cpp.

---

Member Function Documentation

const _scv_expr::ExprValueType _scv_expr::get_type (  void    )  const

Definition at line 491 of file scv_constraint.cpp. References ExprValueType.

bddNodeT * _scv_expr::getBddNodeP (  void    )  const

Definition at line 496 of file scv_constraint.cpp. References bddNodeT. Referenced by _scv_remove(), _scv_constraint_manager::assignRandomValue(), and _scv_constraint_manager::get_bdd().

bddVectorT * _scv_expr::getBddVectorP (  void    )  const

Definition at line 531 of file scv_constraint.cpp. References bddVectorT. Referenced by _scv_remove().

sc_bv_base _scv_expr::getBigValue (  void    )  const

Definition at line 511 of file scv_constraint.cpp.

int _scv_expr::getBitWidth (  void    )  const

Definition at line 552 of file scv_constraint.cpp.

bool _scv_expr::getBoolValue (  void    )  const

Definition at line 516 of file scv_constraint.cpp.

double _scv_expr::getDoubleValue (  void    )  const

Definition at line 521 of file scv_constraint.cpp.

scv_extensions_if * _scv_expr::getExtensionP (  void    )  const

Definition at line 536 of file scv_constraint.cpp.

long long _scv_expr::getIntValue (  void    )  const

Definition at line 501 of file scv_constraint.cpp.

int _scv_expr::getSigLsb (  void    )  const

Definition at line 568 of file scv_constraint.cpp. References BDDVECTOR, BDDVECTOR_SIGNED, and _scv_constraint_error::internalError().

int _scv_expr::getSigMsb (  void    )  const

Definition at line 557 of file scv_constraint.cpp. References BDDVECTOR, BDDVECTOR_SIGNED, and _scv_constraint_error::internalError().

char * _scv_expr::getStringValue (  void    )  const

Definition at line 526 of file scv_constraint.cpp.

unsigned long long _scv_expr::getUnsignedValue (  void    )  const

Definition at line 506 of file scv_constraint.cpp.

int _scv_expr::getVecSize (  void    )  const

Definition at line 541 of file scv_constraint.cpp. References BDDVECTOR, BDDVECTOR_SIGNED, and _scv_constraint_error::internalError().

int _scv_expr::isArray (  void    )  const [inline]

Definition at line 384 of file scv_constraint.h. References ARRAY.

int _scv_expr::isBdd (  void    )  const [inline]

Definition at line 378 of file scv_constraint.h. References BDD. Referenced by _scv_remove().

int _scv_expr::isBddVector (  void    )  const [inline]

Definition at line 375 of file scv_constraint.h. References BDDVECTOR, and BDDVECTOR_SIGNED. Referenced by _scv_remove().

int _scv_expr::isConstant (  void    )  const [inline]

Definition at line 370 of file scv_constraint.h. References BOOLEAN, DOUBLE, INT, SC_BV_BASE, UNSIGNED, and UNSIGNED_64BIT.

int _scv_expr::isDouble (  void    )  const [inline]

Definition at line 393 of file scv_constraint.h. References DOUBLE_VAR.

int _scv_expr::isEmpty (  void    )  const [inline]

Definition at line 399 of file scv_constraint.h. References EMPTY.

int _scv_expr::isRecord (  void    )  const [inline]

Definition at line 381 of file scv_constraint.h. References RECORD.

int _scv_expr::isSigned (  void    )  const [inline]

Definition at line 387 of file scv_constraint.h. References BDDVECTOR_SIGNED.

int _scv_expr::isString (  void    )  const [inline]

Definition at line 396 of file scv_constraint.h. References STRING_VAR.

int _scv_expr::isVarExpr (  void    )  const [inline]

Definition at line 390 of file scv_constraint.h.

_scv_expr & _scv_expr::operator= (  const _scv_expr &    rhs )

Definition at line 398 of file scv_constraint.cpp. References bit_width, isVar, sc_data, sigLsb, sigMsb, type, value, and vecsize.

void _scv_expr::setBddNodeP (  bddNodeT *    )

Definition at line 417 of file scv_constraint.cpp. References bddNodeT. Referenced by _scv_constraint_manager::assignRandomValue().

void _scv_expr::setBddVectorP (  bddVectorT *    )

Definition at line 455 of file scv_constraint.cpp. References bddVectorT.

void _scv_expr::setBigValue (  sc_bv_base &    v, int    bw )

Definition at line 437 of file scv_constraint.cpp.

void _scv_expr::setBitWidth (  int    bit_width )

Definition at line 470 of file scv_constraint.cpp.

void _scv_expr::setBooleanValue (  bool    )

Definition at line 427 of file scv_constraint.cpp.

void _scv_expr::setDoubleValue (  double    )

Definition at line 444 of file scv_constraint.cpp.

void _scv_expr::setExtensionP (  scv_extensions_if *    )

Definition at line 460 of file scv_constraint.cpp. References s.

void _scv_expr::setIntValue (  long    long )

Definition at line 422 of file scv_constraint.cpp.

void _scv_expr::setIsVar (  void    )  [inline]

Definition at line 353 of file scv_constraint.h.

void _scv_expr::setSigLsb (  int    lsb )

Definition at line 486 of file scv_constraint.cpp.

void _scv_expr::setSigMsb (  int    msb )

Definition at line 481 of file scv_constraint.cpp.

void _scv_expr::setSigWidth (  int    lsb, int    msb )

Definition at line 475 of file scv_constraint.cpp.

void _scv_expr::setStringValue (  const char *    )

Definition at line 449 of file scv_constraint.cpp. References s, strcpy(), and strlen().

void _scv_expr::setType (  ExprValueType    type )

Definition at line 412 of file scv_constraint.cpp. Referenced by _scv_constraint_manager::assignRandomValue().

void _scv_expr::setUnsignedValue (  unsigned long    long )

Definition at line 432 of file scv_constraint.cpp.

void _scv_expr::setVecSize (  int    s )

Definition at line 465 of file scv_constraint.cpp.

---

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

• scv_constraint.h
• scv_constraint.cpp

---