CppClingo::OutputLit Class Reference

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	cond_lit (std::optional< size_t > uid) -> size_t
	Output the given conditional literal.
auto	bd_aggr (Sign sign, std::optional< size_t > uid) -> size_t
	Delayed output of a body aggregate.
auto	bd_theory (Sign sign, std::optional< size_t > uid) -> size_t
	Delayed output of a theory atom.

Detailed Description

Interface to output literals.

Member Function Documentation

bd_aggr()

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

inline

Delayed output of a body aggregate.

Outputs a previously added aggregate if uid is given or starts outputting a fresh aggregate atom.

cond_lit()

auto CppClingo::OutputLit::cond_lit ( std::optional< size_t >  uid ) -> size_t

inline

Output the given conditional literal.

Note that its elements have to be accumulated before using the statement output.

---

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

• clingo/core/output.hh