CppClingo::Ground::LitCondLit Member List

This is the complete list of members for CppClingo::Ground::LitCondLit, 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
LitCondLit(LitCondLitType type, StateCondLit &state, size_t index)	CppClingo::Ground::LitCondLit	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::MatchCondLit::vars() const -> VariableSet	CppClingo::Ground::MatchCondLit	private
~Lit()=default	CppClingo::Ground::Lit	virtual