CppClingo::Ground::InstanceCallback Class Reference

Callbacks to notify statements during instantiations. More...

#include <instantiator.hh>

Inheritance diagram for CppClingo::Ground::InstanceCallback:

Public Member Functions
virtual	~InstanceCallback ()=default
	Destroy the callback.
void	init (size_t gen)
	Notify a statement that instantiation starts.
auto	report (EvalContext const &ctx) -> bool
	Report an assignment giving rise to an instance for a statement.
void	propagate (SymbolStore &store, OutputStm &out, Queue &queue)
	Notify a statement that instantiation has finished.
auto	priority () const -> size_t
	The priority of the callback.
void	print_head (std::ostream &out) const
	Print representation for debugging.
auto	is_important (size_t index) const -> bool
	Check if the literal with the given index is important.

Detailed Description

Callbacks to notify statements during instantiations.

---

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

• clingo/ground/instantiator.hh