---

_smartDataRecordT Class Reference

#include <scv_constraint.h>

Collaboration diagram for _smartDataRecordT:

[legend]List of all members.

Public Methods
	_smartDataRecordT ()
	~_smartDataRecordT ()
Public Attributes
_scv_expr *	smartDataBddVector
int	startIndex
int	numvar
int	bSize

---

Constructor & Destructor Documentation

_smartDataRecordT::_smartDataRecordT (    )  [inline]

Definition at line 421 of file scv_constraint.h. References bSize, numvar, and startIndex.

_smartDataRecordT::~_smartDataRecordT (    )  [inline]

Definition at line 427 of file scv_constraint.h. References _scv_remove().

---

Member Data Documentation

int _smartDataRecordT::bSize

Definition at line 419 of file scv_constraint.h. Referenced by _smartDataRecordT().

int _smartDataRecordT::numvar

Definition at line 418 of file scv_constraint.h. Referenced by _smartDataRecordT(), and _scv_constraint_manager::assignRandomValue().

_scv_expr* _smartDataRecordT::smartDataBddVector

Definition at line 415 of file scv_constraint.h.

int _smartDataRecordT::startIndex

Definition at line 417 of file scv_constraint.h. Referenced by _smartDataRecordT(), _scv_constraint_manager::add_sparse_var(), and _scv_constraint_manager::assignRandomValue().

---

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

• scv_constraint.h

---