CppClingo::Ground::Matcher Class Reference

A matcher to match expressions. More...

#include <instantiator.hh>

Inheritance diagram for CppClingo::Ground::Matcher:

Public Member Functions
virtual	~Matcher ()=default
	Destroy the matcher.
void	init (InstantiationContext const &ctx, size_t gen)
	Notify that instantiation starts.
void	match (EvalContext const &ctx)
	Initialize matching.
auto	next (EvalContext const &ctx) -> bool
	Obtain the next match.
void	print (std::ostream &out) const
	Print the matcher to the given stream.
auto	type () const -> MatcherType
	Get the type of the matcher.

Detailed Description

A matcher to match expressions.

Member Function Documentation

next()

auto CppClingo::Ground::Matcher::next ( EvalContext const &  ctx ) -> bool

inline

Obtain the next match.

Has to be called to obtain the first match. Returns true if there is a match.

---

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

• clingo/ground/instantiator.hh