CppClingo::Ground::LitBdTheory Class Reference

Literal to match a theory atom. More...

#include <theory_atom.hh>

Inheritance diagram for CppClingo::Ground::LitBdTheory:

Public Member Functions
	LitBdTheory (StateTheory &state, Sign sign)
	Construct the matcher.
Public Member Functions inherited from CppClingo::Ground::Lit
virtual	~Lit ()=default
	Destroy the literal.
void	vars (VariableSet &vars, VarSelectMode mode) const
	Get the variables in the predicate.
auto	domain () const -> bool
	Returns true if matching literals are always fact.
auto	single_pass () const -> bool
	Returns true if the literal can be grounded in a single pass.
auto	matcher (std::pmr::monotonic_buffer_resource &mbr, MatcherType type, std::vector< bool > const &bound) -> std::pair< UMatcher, std::optional< size_t > >
	Returns true if the base of the literal is complete at the time of grounding.
auto	score (std::vector< bool > const &bound) const -> double
	Compute a score used to order rule bodies.
auto	output (EvalContext const &ctx, OutputLit &out) const -> bool
	Output the literal.
auto	copy () const -> ULit
	Copy the literal.
auto	hash () const -> size_t
	Compute a hash for the literal.

Detailed Description

Literal to match a theory atom.

---

The documentation for this class was generated from the following file:

• clingo/ground/theory_atom.hh