CppClingo::Ground::OnceMatcher Class Reference

A matcher that matches only provides one match. More...

#include <matcher.hh>

Inheritance diagram for CppClingo::Ground::OnceMatcher:

Public Member Functions
	OnceMatcher ()=default
	Construct the matcher.
Public Member Functions inherited from CppClingo::Ground::Matcher
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 that matches only provides one match.

By default, it provides exactly one match. Its do_once method can be overridden to restrict matches further.

---

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

• clingo/ground/matcher.hh