CppClingo::Ground::LitFailCheck Class Reference

A literal ensuring that a list of terms evaluates. More...

#include <literal.hh>

Inheritance diagram for CppClingo::Ground::LitFailCheck:

Public Member Functions
	LitFailCheck (UTermVec terms)
	Construct the literal.
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

A literal ensuring that a list of terms evaluates.

Constructor & Destructor Documentation

LitFailCheck()

CppClingo::Ground::LitFailCheck::LitFailCheck ( UTermVec  terms )

inline

Construct the literal.

Additionally, the first num terms are required to be numbers. The result of the evaluation is stored in the optional result vector.

---

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

• clingo/ground/literal.hh