CppClingo::Control::Grounded Class Reference

Event emitted by a solver after the program is grounded. More...

#include <solver.hh>

Inheritance diagram for CppClingo::Control::Grounded:

Public Member Functions
	Grounded (Input::ProgramParamVec const &params)
	Construct a grounded event.

Public Attributes
std::span< Input::ProgramParamVec::value_type const >	params
	The program parts that have been grounded.

Detailed Description

Event emitted by a solver after the program is grounded.

---

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

• clingo/control/solver.hh