Helper to output symbols. More...

#include <solver.hh>

Public Member Functions
void	init (CppClingo::Control::BaseView &view, std::ostream &out)
	Initialize the table before output.

void	begin_step ()
	Output ids of shown terms in extended aspif format.

void	end_step ()
	Output atoms in extended aspif format.

auto	out () -> std::ostream &
	Get the underlying output stream.

Detailed Description

Helper to output symbols.

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

Public Member Functions