Clingo
Loading...
Searching...
No Matches
CppClingo::Ground::Bases Member List

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

add_base(std::tuple< String, size_t, bool > sig) -> Ground::AtomBase &CppClingo::Ground::Bases
add_project(SymbolStore &store, Ground::UTerm const &term, Ground::AtomBase &base) -> std::pair< Ground::UTerm, ProjectState * >CppClingo::Ground::Bases
atoms() const -> BaseMap const &CppClingo::Ground::Basesinline
clear_aux()CppClingo::Ground::Bases
get_base(std::tuple< String, size_t, bool > sig) const -> Ground::AtomBase *CppClingo::Ground::Bases
projected() const -> ProjectMap const &CppClingo::Ground::Basesinline