CppClingo::NameGen Member List

This is the complete list of members for CppClingo::NameGen, including all inherited members.

add_name(String name) -> bool	CppClingo::NameGen	inline
init(StringSet names, char const *prefix)	CppClingo::NameGen	inline
NameGen(SymbolStore &store, StringSet names, char const *prefix)	CppClingo::NameGen	inline
NameGen(NameGen &&) noexcept=delete	CppClingo::NameGen
new_name() -> String	CppClingo::NameGen
store() const -> SymbolStore &	CppClingo::NameGen	inline