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-2020 Pierre-Henri WUILLEMIN () et Christophe GONZALES () info_at_agrum_dot_org.
This is a name generator for classes, types, systems, instances and class elements.
void setNameGenerator(const NameGenerator &name_gen)
Getters and setters.
Copyright 2005-2020 Pierre-Henri WUILLEMIN () et Christophe GONZALES () info_at_agrum_dot_org.
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.