CppClingo::Ground::MatchHdAggr Class Reference

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

#include <head_aggregate.hh>

Inheritance diagram for CppClingo::Ground::MatchHdAggr:

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

Public Member Functions
	MatchHdAggr (StateHdAggr &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 -> StateHdAggr &
	Get the associated state.

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

Detailed Description

A term like object used to match head aggregates.

---

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

• clingo/ground/head_aggregate.hh