This is the complete list of members for mcrl2::data::identifier_generator< Generator >, including all inherited members.

add_identifier(const core::identifier_string &s)=0	mcrl2::data::identifier_generator< Generator >	pure virtual
add_identifiers(const std::set< core::identifier_string > &ids)	mcrl2::data::identifier_generator< Generator >	inline
clear_context()=0	mcrl2::data::identifier_generator< Generator >	pure virtual
has_identifier(const core::identifier_string &s) const =0	mcrl2::data::identifier_generator< Generator >	pure virtual
identifier_generator()=default	mcrl2::data::identifier_generator< Generator >
m_generator	mcrl2::data::identifier_generator< Generator >	protected
operator()(const std::string &hint, bool add_to_context=true)	mcrl2::data::identifier_generator< Generator >	inlinevirtual
remove_identifier(const core::identifier_string &s)=0	mcrl2::data::identifier_generator< Generator >	pure virtual
remove_identifiers(const std::set< core::identifier_string > &ids)	mcrl2::data::identifier_generator< Generator >	inline
~identifier_generator()=default	mcrl2::data::identifier_generator< Generator >	virtual