CppClingo::Ground::MatchAssignAggr Class Reference

A term like object to match assignment aggregates. More...

#include <assignment_aggregate.hh>

Inheritance diagram for CppClingo::Ground::MatchAssignAggr:

Public Types
using	Key = BaseAssignAggr::Key
	The key to match against.

Public Member Functions
	MatchAssignAggr (StateAssignAggr &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, Key key) const -> bool
	Match a span of symbols representing an atom or element with the assignment.
auto	eval (EvalContext const &ctx) const -> std::optional< Key >
	Evaluate w.r.t. the given assignment and return a span representing an atom or element.
auto	state () const -> StateAssignAggr &
	Get the associated state.

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

Detailed Description

A term like object to match assignment aggregates.

---

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

• clingo/ground/assignment_aggregate.hh