clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Types | Public Member Functions | List of all members
Gringo::Indexed< T, R > Struct Template Reference

#include <flyweight.hh>

Inheritance diagram for Gringo::Indexed< T, R >:
Inheritance graph
Collaboration diagram for Gringo::Indexed< T, R >:
Collaboration graph

Public Types

using value_type = T
 
using index_type = R
 

Public Member Functions

template<class... Args>
index_type emplace (Args &&...args)
 
index_type insert (value_type &&value)
 
value_type erase (index_type uid)
 
value_typeoperator[] (index_type uid)
 
template<class... Args>
Indexed< T, R >::index_type emplace (Args &&...args)
 

Member Typedef Documentation

template<class T, class R = unsigned>
using Gringo::Indexed< T, R >::index_type = R
template<class T, class R = unsigned>
using Gringo::Indexed< T, R >::value_type = T

Member Function Documentation

template<class T, class R = unsigned>
template<class... Args>
index_type Gringo::Indexed< T, R >::emplace ( Args &&...  args)
template<class T, class R = unsigned>
template<class... Args>
Indexed<T, R>::index_type Gringo::Indexed< T, R >::emplace ( Args &&...  args)
template<class T , class R >
Indexed< T, R >::value_type Gringo::Indexed< T, R >::erase ( index_type  uid)

Here is the call graph for this function:

template<class T , class R >
Indexed< T, R >::index_type Gringo::Indexed< T, R >::insert ( value_type &&  value)
template<class T, class R = unsigned>
Indexed< T, R >::value_type & Gringo::Indexed< T, R >::operator[] ( index_type  uid)

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