CppClingo::Input::StmHeuristic Member List

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

atom() const -> Term const &	CppClingo::Input::StmHeuristic	inline
attributes()	CppClingo::Input::StmHeuristic	inlinestatic
body() const -> BdLitArray const &	CppClingo::Input::StmHeuristic	inline
compare(Base const &other) const -> std::strong_ordering	CppClingo::Util::Record::Base< Rec >	inline
equal(Base const &other) const -> bool	CppClingo::Util::Record::Base< Rec >	inline
get_value() const -> decltype(auto)	CppClingo::Util::Record::Base< Rec >	inline
hash() const -> size_t	CppClingo::Util::Record::Base< Rec >	inline
loc() const -> Location const &	CppClingo::Input::StmHeuristic	inline
prio() const -> std::optional< Term > const &	CppClingo::Input::StmHeuristic	inline
rewrite(Args &&...args) const	CppClingo::Util::Record::Base< Rec >	inline
StmHeuristic(Location loc, Term atom, BdLitArray body, Term weight, std::optional< Term > prio, Term type)	CppClingo::Input::StmHeuristic	inlineexplicit
StmHeuristic(Location loc, Term atom, BdLitArray body, Term weight, Term prio, Term type)	CppClingo::Input::StmHeuristic	inlineexplicit
StmHeuristic(Location loc, Term atom, BdLitArray body, Term weight, Term type)	CppClingo::Input::StmHeuristic	inlineexplicit
type() const -> Term const &	CppClingo::Input::StmHeuristic	inline
update(Args &&...args) const	CppClingo::Util::Record::Base< Rec >	inline
weight() const -> Term const &	CppClingo::Input::StmHeuristic	inline