CppClingo::Ground::MatchBdAggr Class Reference

A term like object used to match body aggregates. More...

#include <body_aggregate.hh>

Inheritance diagram for CppClingo::Ground::MatchBdAggr:

Public Types
using	Key = Symbol const *
	The key to match against.

Public Member Functions
	MatchBdAggr (StateBdAggr &state)
	Construct the matcher.
auto	vars () const -> VariableSet
	Get the variables of the matcher.
auto	signature (VariableSet const &bound, VariableSet const &bind) const -> VariableVec
	Get the signature of the matcher.
auto	match (EvalContext const &ctx, Symbol const *sym) const -> bool
	Match a span of symbols representing an atom or element with the assignment.
auto	eval (EvalContext const &ctx) const -> std::optional< Symbol const * >
	Evaluate w.r.t. the given assignment and return a span representing an atom or element.
auto	state () const -> StateBdAggr &
	Get the associated state.

Friends
auto	operator<< (std::ostream &out, MatchBdAggr const &m) -> std::ostream &
	Print a string representation of the matcher.

Detailed Description

A term like object used to match body aggregates.

---

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

• clingo/ground/body_aggregate.hh