Clingo
Loading...
Searching...
No Matches
Clingo::Base Member List

This is the complete list of members for Clingo::Base, including all inherited members.

at(size_t index) const -> value_typeClingo::Baseinline
Base(clingo_base_t const *base)Clingo::Baseinlineexplicit
begin() const -> iteratorClingo::Baseinline
contains(key_type const &sig) const -> boolClingo::Baseinline
contains(std::pair< std::string_view, size_t > const &sig) const -> boolClingo::Baseinline
contains(Symbol const &sym) const -> boolClingo::Baseinline
difference_type typedefClingo::Base
end() const -> iteratorClingo::Baseinline
get(key_type const &sig, std::optional< mapped_type > def=std::nullopt) const -> std::optional< mapped_type >Clingo::Baseinline
get(std::pair< std::string_view, size_t > const &sig, std::optional< mapped_type > def=std::nullopt) const -> std::optional< mapped_type >Clingo::Baseinline
get(Symbol const &sym, std::optional< Atom > def=std::nullopt) const -> std::optional< Atom >Clingo::Baseinline
is_current(ProgramLiteral lit) const -> boolClingo::Baseinline
is_external(ProgramLiteral lit) const -> boolClingo::Baseinline
is_fact(ProgramLiteral lit) const -> boolClingo::Baseinline
is_projected(ProgramLiteral lit) const -> boolClingo::Baseinline
is_shown(ProgramLiteral lit) const -> boolClingo::Baseinline
iterator typedefClingo::Base
key_type typedefClingo::Base
mapped_type typedefClingo::Base
pointer typedefClingo::Base
reference typedefClingo::Base
size() const -> size_typeClingo::Baseinline
size_type typedefClingo::Base
terms() const -> TermBaseClingo::Baseinline
theory() const -> TheoryBaseClingo::Baseinline
value_type typedefClingo::Base