Constructor & Destructor Documentation
| DtSpecificationManager::DtSpecificationManager |
( |
| ) |
|
| DtSpecificationManager::DtSpecificationManager |
( |
unsigned int |
numSpecifications | ) |
|
| virtual DtSpecificationManager::~DtSpecificationManager |
( |
| ) |
|
|
virtual |
Member Function Documentation
| virtual bool DtSpecificationManager::removeDuplicates |
( |
int & |
numDuplicates, |
|
|
int & |
numEntries, |
|
|
DtSpecificationID * |
oldIDToNewIDMapping |
|
) |
| |
|
virtual |
| virtual unsigned int DtSpecificationManager::numberOfSpecifications |
( |
| ) |
const |
|
virtual |
| virtual void DtSpecificationManager::dump |
( |
| ) |
const |
|
virtual |
| virtual void DtSpecificationManager::dump |
( |
FILE * |
fp | ) |
const |
|
virtual |
| virtual int DtSpecificationManager::sizeInBytes |
( |
| ) |
const |
|
virtual |
| bool DtSpecificationManager::testInvariant |
( |
| ) |
const |
|
protected |
Member Data Documentation
The documentation for this class was generated from the following file: