CppClingo::Ground::LitHdAggr Member List

This is the complete list of members for CppClingo::Ground::LitHdAggr, including all inherited members.

copy() const -> ULit	CppClingo::Ground::Lit	inline
domain() const -> bool	CppClingo::Ground::Lit	inline
hash() const -> size_t	CppClingo::Ground::Lit	inline
LitHdAggr(StateHdAggr &state)	CppClingo::Ground::LitHdAggr	inline
matcher(std::pmr::monotonic_buffer_resource &mbr, MatcherType type, std::vector< bool > const &bound) -> std::pair< UMatcher, std::optional< size_t > >	CppClingo::Ground::Lit	inline
output(EvalContext const &ctx, OutputLit &out) const -> bool	CppClingo::Ground::Lit	inline
score(std::vector< bool > const &bound) const -> double	CppClingo::Ground::Lit	inline
single_pass() const -> bool	CppClingo::Ground::Lit	inline
CppClingo::vars(VariableSet &vars, VarSelectMode mode) const	CppClingo::Ground::Lit	inline
CppClingo::Ground::MatchHdAggr::vars() const -> VariableSet	CppClingo::Ground::MatchHdAggr	private
~Lit()=default	CppClingo::Ground::Lit	virtual