Clingo
Loading...
Searching...
No Matches
CppClingo::Input::StmExternal Member List

This is the complete list of members for CppClingo::Input::StmExternal, including all inherited members.

atom() const -> Term const &CppClingo::Input::StmExternalinline
attributes()CppClingo::Input::StmExternalinlinestatic
body() const -> BdLitArray const &CppClingo::Input::StmExternalinline
compare(Base const &other) const -> std::strong_orderingCppClingo::Util::Record::Base< Rec >inline
equal(Base const &other) const -> boolCppClingo::Util::Record::Base< Rec >inline
get_value() const -> decltype(auto)CppClingo::Util::Record::Base< Rec >inline
hash() const -> size_tCppClingo::Util::Record::Base< Rec >inline
loc() const -> Location const &CppClingo::Input::StmExternalinline
rewrite(Args &&...args) constCppClingo::Util::Record::Base< Rec >inline
StmExternal(Location loc, Term atom, BdLitArray body, std::optional< Term > type=std::nullopt)CppClingo::Input::StmExternalinlineexplicit
type() const -> std::optional< Term > const &CppClingo::Input::StmExternalinline
update(Args &&...args) constCppClingo::Util::Record::Base< Rec >inline