Output

Library for outputting grounded statements. More...

Classes
class	CppClingo::Output::TheoryData
	Class similar to Potassco::TheoryData but with automatic id generation. More...

Functions
auto	CppClingo::Output::make_backend_output (SymbolStore &store, ProgramBackend &backend, TheoryData &theory) -> UOutputStm
	Create an output that forwards ground statements to a backend.
auto	CppClingo::Output::make_text_output (Util::OutputBuffer &out) -> UOutputStm
	Create a text output.

Detailed Description

Library for outputting grounded statements.

Function Documentation

make_backend_output()

auto CppClingo::Output::make_backend_output	(	SymbolStore &	store,
		ProgramBackend &	backend,
		TheoryData &	theory
	)		-> UOutputStm

Create an output that forwards ground statements to a backend.

Backends accept a simpler format as provided by the grounder. This output brings the statements into the required form and passes them to the backend.

Parameters

store	the store holding symbols
backend	the target backend
theory	the target backend

Returns

the output