clingo
|
#include <flyweight.hh>
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_type & | operator[] (index_type uid) |
template<class... Args> | |
Indexed< T, R >::index_type | emplace (Args &&...args) |
using Gringo::Indexed< T, R >::index_type = R |
using Gringo::Indexed< T, R >::value_type = T |
index_type Gringo::Indexed< T, R >::emplace | ( | Args &&... | args | ) |
Indexed<T, R>::index_type Gringo::Indexed< T, R >::emplace | ( | Args &&... | args | ) |
Indexed< T, R >::value_type Gringo::Indexed< T, R >::erase | ( | index_type | uid | ) |
Indexed< T, R >::index_type Gringo::Indexed< T, R >::insert | ( | value_type && | value | ) |
Indexed< T, R >::value_type & Gringo::Indexed< T, R >::operator[] | ( | index_type | uid | ) |