CppClingo::OutputTheory Class Reference

Interface to output literals. More...

#include <output.hh>

Public Types
enum class	AtomType : uint8_t { head , body , directive }
	The type of a theory atom. More...
using	OptGuard = std::optional< std::pair< String, size_t > >
	An optional guard of string and term indices.

Public Member Functions
virtual	~OutputTheory ()=default
	Destroy the output.
auto	str (String val) -> size_t
	Output the given symbolic literal.
auto	num (Number const &num) -> size_t
	Output the given symbolic literal.
auto	fun (String name, IndexSpan args) -> size_t
	Output the given symbolic literal.
auto	tup (TheoryTermTupleType type, IndexSpan args) -> size_t
	Output the given tuple.
auto	elem (IndexSpan tuple, size_t cond) -> size_t
	Output the given element.
void	atom (AtomType type, size_t atom_uid, Symbol name, IndexSpan elems, OptGuard guard=std::nullopt)
	Output the given atom.
auto	sym (Symbol sym) -> size_t
	Output the given symbol.

Detailed Description

Interface to output literals.

Member Enumeration Documentation

AtomType

enum class CppClingo::OutputTheory::AtomType : uint8_t

strong

The type of a theory atom.

Enumerator
head	The atom occurs in the head.
body	The atom occurs in the body.
directive	The atom is a body.

---

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

• clingo/core/output.hh