Interface to output literals. More...

#include <output.hh>

Public Member Functions
virtual	~OutputLit ()=default
	Destroy the output.

void	lit (Sign sign, Symbol sym, size_t uid)
	Output the given symbolic literal.

void	boolean (bool value)
	Output the given boolean constant.

auto	delayed (Sign sign, std::optional< size_t > uid) -> size_t
	Delay or output a previously added aggregate/conditional literal/theory.

Detailed Description

Interface to output literals.

Member Function Documentation

auto CppClingo::OutputLit::delayed	(	Sign	sign,
		std::optional< size_t >	uid
	)		-> size_t

inline

Delay or output a previously added aggregate/conditional literal/theory.

If uid is given the literal is output, otherwise it is delayed and the returned value can be used as uid for a later output.

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