clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Types | Public Member Functions | Friends | List of all members
bk_lib::indexed_priority_queue< Cmp > Class Template Reference

#include <indexed_priority_queue.h>

Inheritance diagram for bk_lib::indexed_priority_queue< Cmp >:
Inheritance graph
Collaboration diagram for bk_lib::indexed_priority_queue< Cmp >:
Collaboration graph

Public Types

typedef detail::key_type key_type
 
typedef pod_vector< key_typeindex_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_queueoperator= (const indexed_priority_queue &other)
 
const compare_typekey_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
 

Member Typedef Documentation

template<class Cmp>
typedef Cmp bk_lib::indexed_priority_queue< Cmp >::compare_type
template<class Cmp>
typedef detail::key_type bk_lib::indexed_priority_queue< Cmp >::key_type
template<class Cmp>
typedef std::size_t bk_lib::indexed_priority_queue< Cmp >::size_type

Constructor & Destructor Documentation

template<class C >
bk_lib::indexed_priority_queue< C >::indexed_priority_queue ( const compare_type c = compare_type())
explicit
template<class C >
bk_lib::indexed_priority_queue< C >::indexed_priority_queue ( const indexed_priority_queue< Cmp > &  other)

Member Function Documentation

template<class Cmp>
void bk_lib::indexed_priority_queue< Cmp >::clear ( )
inline
template<class Cmp>
void bk_lib::indexed_priority_queue< Cmp >::decrease ( key_type  k)
inline
template<class Cmp>
bool bk_lib::indexed_priority_queue< Cmp >::empty ( ) const
inline
template<class Cmp>
void bk_lib::indexed_priority_queue< Cmp >::increase ( key_type  k)
inline
template<class Cmp>
bool bk_lib::indexed_priority_queue< Cmp >::is_in_queue ( key_type  k) const
inline
template<class Cmp>
const compare_type& bk_lib::indexed_priority_queue< Cmp >::key_compare ( ) const
inline
template<class Cmp>
indexed_priority_queue& bk_lib::indexed_priority_queue< Cmp >::operator= ( const indexed_priority_queue< Cmp > &  other)
inline
template<class Cmp>
void bk_lib::indexed_priority_queue< Cmp >::pop ( )
inline
template<class Cmp>
void bk_lib::indexed_priority_queue< Cmp >::push ( key_type  k)
inline
template<class Cmp>
void bk_lib::indexed_priority_queue< Cmp >::remove ( key_type  k)
inline
template<class Cmp>
void bk_lib::indexed_priority_queue< Cmp >::reserve ( size_type  n)
inline
template<class Cmp>
size_type bk_lib::indexed_priority_queue< Cmp >::size ( ) const
inline
template<class Cmp>
template<class C >
void bk_lib::indexed_priority_queue< Cmp >::swapMem ( indexed_priority_queue< C > &  o)
inline
template<class Cmp>
key_type bk_lib::indexed_priority_queue< Cmp >::top ( ) const
inline
template<class Cmp>
void bk_lib::indexed_priority_queue< Cmp >::update ( key_type  k)
inline

Friends And Related Function Documentation

template<class Cmp>
template<class X >
friend class indexed_priority_queue
friend

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