newlang::GlobalObjects Member List

This is the complete list of members for newlang::GlobalObjects, including all inherited members.

AppendModule(ModulePtr module)	newlang::GlobalObjects
Dump(const std::string_view filter="", const char delim=';')	newlang::GlobalObjects
FindObject(const std::string_view name)	newlang::GlobalObjects
m_curr_module	newlang::GlobalObjects
m_modules	newlang::GlobalObjects
PairType typedef	newlang::GlobalObjects
RegisterObject(bool only_new, const std::string_view name, TermPtr term, Variable var)	newlang::GlobalObjects
size()	newlang::GlobalObjects	inline