CppClingo::Ground::LitFactCheck Member List

This is the complete list of members for CppClingo::Ground::LitFactCheck, 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
LitFactCheck(AtomBase &base, Term const &atom, Symbol &target)	CppClingo::Ground::LitFactCheck	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
vars(VariableSet &vars, VarSelectMode mode) const	CppClingo::Ground::Lit	inline
~Lit()=default	CppClingo::Ground::Lit	virtual