CppClingo::NameGen Class Reference

Generator for auxiliary names. More...

#include <symbol.hh>

Public Member Functions
	NameGen (SymbolStore &store, StringSet names, char const *prefix)
	Constructor taking a set of variables names.
	NameGen (NameGen &&) noexcept=delete
	Delete move/copy constructor.
void	init (StringSet names, char const *prefix)
	Initialize/reset the name generator.
auto	add_name (String name) -> bool
	Add a name returning true if it is not yet used.
auto	new_name () -> String
	Generate a unique variable name.
auto	store () const -> SymbolStore &
	Return the associated symbol store.

Detailed Description

Generator for auxiliary names.

Constructor & Destructor Documentation

NameGen()

CppClingo::NameGen::NameGen ( SymbolStore &  store, StringSet  names, char const *  prefix  )

inline

Constructor taking a set of variables names.

The generator ensures that there are no collisions with these names.

---

The documentation for this class was generated from the following file:

• clingo/core/symbol.hh