Clingo
|
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::Bases | inline |
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::Bases | inline |