34 template <
typename GUM_SCALAR >
39 template <
typename GUM_SCALAR >
41 _name_gen(source._name_gen) {
45 template <
typename GUM_SCALAR >
50 template <
typename GUM_SCALAR >
56 template <
typename GUM_SCALAR >
This class is the base class to all PRM generators.
Copyright 2005-2019 Pierre-Henri WUILLEMIN et Christophe GONZALES (LIP6) {prenom.nom}_at_lip6.fr.
This is a name generator for classes, types, systems, instances and class elements.
void setNameGenerator(const NameGenerator &name_gen)
Getters and setters.
Copyright 2005-2019 Pierre-Henri WUILLEMIN et Christophe GONZALES (LIP6) {prenom.nom}_at_lip6.fr.
const NameGenerator & getNameGenerator() const
Returns the NameGenerator used by this generator.
virtual ~PRMGenerator()
Destructor.
PRMGenerator()
Default constructor.
NameGenerator _name_gen
The name generator used by this class.