DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <IdGenerators.hh>
Public Member Functions | |
virtual void | init ()=0 |
virtual GeneratedType | another ()=0 |
Abstract class that designs what is any IdGenerator The purpose of an IdGenerator is to generate on demand some Identifiers of a given type with a given policy. It is usually not a random generator
Definition at line 27 of file IdGenerators.hh.
|
pure virtual |
Implemented in Diades::Utils::LabelGenerator< CharT, Traits, Alloc >, Diades::Utils::IncrementGenerator< IncrementableType >, and Diades::Utils::PrefixedCounterIdGenerator.
|
pure virtual |
Reinitialise the generator
Implemented in Diades::Utils::LabelGenerator< CharT, Traits, Alloc >, Diades::Utils::IncrementGenerator< IncrementableType >, and Diades::Utils::PrefixedCounterIdGenerator.