CppClingo::Ground::AtomTheory Class Reference

Extensible ground representation for theory atoms. More...

#include <theory_atom.hh>

Public Member Functions
	AtomTheory (Symbol name, std::optional< size_t > rhs)
	Default construct the atom with an empty set of elements.
void	add_elem (size_t idx)
	Add a new element.
auto	elems () const -> std::span< size_t const >
	Get the theory atom's elements.
auto	uid () const -> std::optional< size_t >
	Get the unique id of the theory atom.
void	uid (size_t uid)
	Set the unique id of the theory atom.
auto	name () const -> Symbol
	Get the name of the atom.
auto	rhs () const -> std::optional< size_t >
	Get the right hand side theory term index.

Detailed Description

Extensible ground representation for theory atoms.

---

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

• clingo/ground/theory_atom.hh