|
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 |