CppClingo::Ground::Bases Class Reference

The base for all atoms and terms. More...

#include <base.hh>

Public Member Functions
auto	add_base (std::tuple< String, size_t, bool > sig) -> Ground::AtomBase &
	Add an atom base.
auto	get_base (std::tuple< String, size_t, bool > sig) const -> Ground::AtomBase *
	Get a base for the given signature.
auto	add_project (SymbolStore &store, Ground::UTerm const &term, Ground::AtomBase &base) -> std::pair< Ground::UTerm, ProjectState * >
	Add a base for a projected atom.
auto	atoms () const -> BaseMap const &
	Get the atom map.
auto	projected () const -> ProjectMap const &
	Get the map of projected atoms.
void	clear_aux ()
	Clear auxiliary atom bases.

Detailed Description

The base for all atoms and terms.

Member Function Documentation

add_base()

auto CppClingo::Ground::Bases::add_base

(

std::tuple< String, size_t, bool >

sig

)

-> Ground::AtomBase &

Add an atom base.

Names starting with a # are added as auxiliary bases.

get_base()

auto CppClingo::Ground::Bases::get_base

(

std::tuple< String, size_t, bool >

sig

)

const -> Ground::AtomBase *

Get a base for the given signature.

Returns a nullptr if there is no corresponding atom base.

---

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

• clingo/ground/base.hh