CppClingo::Ground::LitProject Member List

This is the complete list of members for CppClingo::Ground::LitProject, 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
LitProject(ProjectState &state, Sign sign, UTerm atom, UTerm p_atom, size_t index, bool domain)	CppClingo::Ground::LitProject	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