CppClingo::Ground::Queue Class Reference

A queue to process instantiators. More...

#include <instantiator.hh>

Public Member Functions
	Queue (Util::StopFlag *stop=nullptr)
	Construct an empty queue.
void	insert (Instantiator inst, std::optional< size_t > index)
	Register an instantiator with the queue.
void	propagate (size_t index)
	Propagate instantiators with the given index.
auto	process (Logger &log, SymbolStore &store, OutputStm &out) -> GroundResult
	Process previously enqueued instantiators.
auto	release () -> std::vector< Instantiator >
	Release the contained instantiators.

Detailed Description

A queue to process instantiators.

---

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

• clingo/ground/instantiator.hh