8 #ifndef specificationManager_H_
9 #define specificationManager_H_
17 #include <vlutil/vlConfig.h>
87 virtual bool addSpecification(
const DtSpecification& specificationToAdd,
89 bool allowDuplicates =
true);
101 virtual bool removeDuplicates(
int& numDuplicates,
131 virtual unsigned int numberOfSpecifications()
const;
138 virtual void dump()
const;
142 virtual void dump(FILE* fp)
const;
144 virtual int sizeInBytes()
const;
150 bool testInvariant()
const;
unsigned int DtSpecificationID
Definition: specificationManager.h:22
#define DT_DLL_gdb
Definition: gdbDefines.h:25
std::vector< DtSpecification > mySpecifications
Definition: specificationManager.h:166
Definition: specificationManager.h:31
Definition: specification.h:27