clingo
|
#include <indexed_priority_queue.h>
Public Types | |
typedef detail::key_type | key_type |
typedef pod_vector< key_type > | index_container_type |
typedef std::size_t | size_type |
typedef Cmp | compare_type |
Public Member Functions | |
indexed_priority_queue (const compare_type &c=compare_type()) | |
indexed_priority_queue (const indexed_priority_queue &other) | |
indexed_priority_queue & | operator= (const indexed_priority_queue &other) |
const compare_type & | key_compare () const |
bool | empty () const |
void | reserve (size_type n) |
void | push (key_type k) |
void | pop () |
void | clear () |
template<class C > | |
void | swapMem (indexed_priority_queue< C > &o) |
size_type | size () const |
key_type | top () const |
void | update (key_type k) |
void | increase (key_type k) |
void | decrease (key_type k) |
bool | is_in_queue (key_type k) const |
void | remove (key_type k) |
Friends | |
template<class X > | |
class | indexed_priority_queue |
typedef Cmp bk_lib::indexed_priority_queue< Cmp >::compare_type |
typedef pod_vector<key_type> bk_lib::indexed_priority_queue< Cmp >::index_container_type |
typedef detail::key_type bk_lib::indexed_priority_queue< Cmp >::key_type |
typedef std::size_t bk_lib::indexed_priority_queue< Cmp >::size_type |
|
explicit |
bk_lib::indexed_priority_queue< C >::indexed_priority_queue | ( | const indexed_priority_queue< Cmp > & | other | ) |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |