Clingo
|
This is the complete list of members for Clingo::Base, including all inherited members.
at(size_t index) const -> value_type | Clingo::Base | inline |
Base(clingo_base_t const *base) | Clingo::Base | inlineexplicit |
begin() const -> iterator | Clingo::Base | inline |
contains(key_type const &sig) const -> bool | Clingo::Base | inline |
contains(std::pair< std::string_view, size_t > const &sig) const -> bool | Clingo::Base | inline |
contains(Symbol const &sym) const -> bool | Clingo::Base | inline |
difference_type typedef | Clingo::Base | |
end() const -> iterator | Clingo::Base | inline |
get(key_type const &sig, std::optional< mapped_type > def=std::nullopt) const -> std::optional< mapped_type > | Clingo::Base | inline |
get(std::pair< std::string_view, size_t > const &sig, std::optional< mapped_type > def=std::nullopt) const -> std::optional< mapped_type > | Clingo::Base | inline |
get(Symbol const &sym, std::optional< Atom > def=std::nullopt) const -> std::optional< Atom > | Clingo::Base | inline |
is_current(ProgramLiteral lit) const -> bool | Clingo::Base | inline |
is_external(ProgramLiteral lit) const -> bool | Clingo::Base | inline |
is_fact(ProgramLiteral lit) const -> bool | Clingo::Base | inline |
is_projected(ProgramLiteral lit) const -> bool | Clingo::Base | inline |
is_shown(ProgramLiteral lit) const -> bool | Clingo::Base | inline |
iterator typedef | Clingo::Base | |
key_type typedef | Clingo::Base | |
mapped_type typedef | Clingo::Base | |
pointer typedef | Clingo::Base | |
reference typedef | Clingo::Base | |
size() const -> size_type | Clingo::Base | inline |
size_type typedef | Clingo::Base | |
terms() const -> TermBase | Clingo::Base | inline |
theory() const -> TheoryBase | Clingo::Base | inline |
value_type typedef | Clingo::Base |