Clingo::TheoryBase Class Reference

A theory base that maps theory atoms. More...

#include <base.hh>

Public Types
using	value_type = TheoryAtom
	The value type.
using	size_type = std::size_t
	The size type.
using	difference_type = std::ptrdiff_t
	The difference type.
using	reference = value_type
	The reference type.
using	pointer = Detail::ArrowProxy< value_type >
	The pointer type.
using	iterator = Detail::RandomAccessIterator< TheoryBase >
	The iterator type.

Public Member Functions
	TheoryBase (clingo_theory_base_t const &base)
	Construct a theory base from its C representation.
auto	size () const -> size_type
	Get the size of the theory base.
auto	at (size_t index) const -> value_type
	Get the theory atom at the given index.
auto	begin () const -> iterator
	Get an iterator pointing to the first element of the theory base.
auto	end () const -> iterator
	Get an iterator pointing to the end of the theory base.

Detailed Description

A theory base that maps theory atoms.

Constructor & Destructor Documentation

TheoryBase()

Clingo::TheoryBase::TheoryBase ( clingo_theory_base_t const &  base )

inlineexplicit

Construct a theory base from its C representation.

Parameters

base	the C theory base

Member Function Documentation

at()

auto Clingo::TheoryBase::at ( size_t  index ) const -> value_type

inline

Get the theory atom at the given index.

Returns

the theory atom at the index

begin()

auto Clingo::TheoryBase::begin ( ) const -> iterator

inline

Get an iterator pointing to the first element of the theory base.

Returns

an iterator to the first element

end()

auto Clingo::TheoryBase::end ( ) const -> iterator

inline

Get an iterator pointing to the end of the theory base.

Returns

an iterator to the end of the theory base

size()

auto Clingo::TheoryBase::size ( ) const -> size_type

inline

Get the size of the theory base.

Returns

the size

---

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

• clingo/base.hh