CppClingo::Ground::MatchCondLit Class Reference

A term like object used to match conditional literals and their elements. More...

#include <condlit.hh>

Inheritance diagram for CppClingo::Ground::MatchCondLit:

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

Public Member Functions
	MatchCondLit (StateCondLit &state, LitCondLitType type)
	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 -> StateCondLit &
	Get the associated state.
auto	type () const -> LitCondLitType
	Get the type of the matcher.

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

Detailed Description

A term like object used to match conditional literals and their elements.

---

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

• clingo/ground/condlit.hh