mln::p_key< K, P > Class Template Reference [Queue based]

Priority queue class. More...

#include <p_key.hh>

Inheritance diagram for mln::p_key< K, P >:

List of all members.

Public Types
typedef p_double_piter< self_, mln_bkd_eiter(util::set< K > ), typename p_set< P > ::bkd_piter >	bkd_piter
	Backward Site_Iterator associated type.
typedef Site_Set< void >	category
typedef P	element
	Element associated type.
typedef p_key< K, P >	exact_t
typedef p_double_piter< self_, mln_fwd_eiter(util::set< K > ), typename p_set< P > ::fwd_piter >	fwd_piter
	Forward Site_Iterator associated type.
typedef std::pair< K, P >	i_element
	Insertion element associated type.
typedef fwd_piter	piter
	Site_Iterator associated type.
typedef p_double_psite< self_, p_set< P > >	psite
	Psite associated type.
typedef P	r_element
	Removal element associated type.
typedef subject< P >::ret	site
	Site associated type.
Public Member Functions
void	change_key (const K &k, const K &new_k)
	Change the key k into a new value new_k.
template<typename F >
void	change_keys (const Function_v2v< F > &f)
	Change the keys by applying the function f.
void	clear ()
	Clear this site set.
bool	exists_key (const K &key) const
	Test if the priority exists.
bool	has (const psite &) const
	Test is the psite p belongs to this site set.
bool	has (const P &p) const
	Test is the psite p belongs to this site set.
void	insert (const i_element &k_p)
	Insert a pair k_p (key k, site p).
void	insert (const K &k, const P &p)
	Insert a pair (key k, site p).
bool	is_empty () const
	Test if the site set is empty.
bool	is_valid () const
	Test this set validity so returns always true.
const K &	key (const P &p) const
	Give the key associated with site p.
const util::set< K > &	keys () const
	Give the set of keys.
std::size_t	memory_size () const
	Return the size of this site set in memory.
unsigned	nsites () const
	Give the number of sites.
const p_set< P > &	operator() (const K &key) const
	Give the queue with the priority priority.
	p_key ()
	Constructor.
void	remove (const P &p)
	Remove a site p.
void	remove_key (const K &k)
	Remove all sites with key k.
const util::set< K > &	set_1_ () const
const p_set< P > &	set_2_ (const K &key) const
void	unsafe_insert_ (const K &k, const P &p)
Protected Types
typedef std::map< P, K, util::ord< P > >	k_t
typedef std::map< K, p_set< P > , util::ord< K > >	s_t
Protected Member Functions
bool	run_ () const
Protected Attributes
util::set< K >	b_
k_t	k_
unsigned	n_
s_t	s_
Private Types
typedef p_key< K, P >	self_

---

Detailed Description

template<typename K, typename P>
class mln::p_key< K, P >

Priority queue class.

---

Member Typedef Documentation

template<typename K , typename P >

typedef p_double_piter<self_, mln_bkd_eiter(util::set<K>), typename p_set<P>::bkd_piter> mln::p_key< K, P >::bkd_piter

Backward Site_Iterator associated type.

typedef Site_Set<void> mln::Site_Set< p_key< K, P > >::category [inherited]

Reimplemented from mln::Object< p_key< K, P > >.

template<typename K , typename P >

typedef P mln::p_key< K, P >::element

Element associated type.

typedef p_key< K, P > mln::Object< p_key< K, P > >::exact_t [inherited]

template<typename K , typename P >

typedef p_double_piter<self_, mln_fwd_eiter(util::set<K>), typename p_set<P>::fwd_piter> mln::p_key< K, P >::fwd_piter

Forward Site_Iterator associated type.

template<typename K , typename P >

typedef std::pair<K,P> mln::p_key< K, P >::i_element

Insertion element associated type.

template<typename K , typename P >

typedef std::map<P, K, util::ord<P> > mln::p_key< K, P >::k_t [protected]

template<typename K , typename P >

typedef fwd_piter mln::p_key< K, P >::piter

Site_Iterator associated type.

template<typename K , typename P >

typedef p_double_psite< self_, p_set<P> > mln::p_key< K, P >::psite

Psite associated type.

template<typename K , typename P >

typedef P mln::p_key< K, P >::r_element

Removal element associated type.

template<typename K , typename P >

typedef std::map<K, p_set<P>, util::ord<K> > mln::p_key< K, P >::s_t [protected]

template<typename K , typename P >

typedef p_key<K,P> mln::p_key< K, P >::self_ [private]

typedef subject<P>::ret mln::internal::site_set_base_< P, p_key< K, P > >::site [inherited]

Site associated type.

---

Constructor & Destructor Documentation

template<typename K , typename P >

mln::p_key< K, P >::p_key

(

)

[inline]

Constructor.

References mln::p_key< K, P >::n_, and mln::p_key< K, P >::run_().

---

Member Function Documentation

template<typename K , typename P >

void mln::p_key< K, P >::change_key	(	const K &	k,
		const K &	new_k
	)			[inline]

Change the key k into a new value new_k.

References mln::p_key< K, P >::b_, mln::util::set< T >::insert(), mln::p_key< K, P >::k_, mln::p_key< K, P >::n_, mln::p_set< P >::nsites(), mln::util::set< T >::remove(), mln::p_key< K, P >::run_(), and mln::p_key< K, P >::s_.

template<typename K , typename P >

template<typename F >

void mln::p_key< K, P >::change_keys

(

const Function_v2v< F > &

f

)

[inline]

Change the keys by applying the function f.

References mln::p_key< K, P >::b_, mln::exact(), mln::util::set< T >::insert(), mln::p_key< K, P >::k_, mln::p_key< K, P >::run_(), and mln::p_key< K, P >::s_.

template<typename K , typename P >

void mln::p_key< K, P >::clear

(

)

[inline]

Clear this site set.

References mln::p_key< K, P >::b_, mln::util::set< T >::clear(), mln::p_key< K, P >::k_, mln::p_key< K, P >::n_, mln::p_key< K, P >::run_(), and mln::p_key< K, P >::s_.

template<typename K , typename P >

bool mln::p_key< K, P >::exists_key

(

const K &

key

)

const [inline]

Test if the priority exists.

References mln::p_key< K, P >::b_, mln::util::set< T >::has(), and mln::p_key< K, P >::run_().

Referenced by mln::p_key< K, P >::operator()().

template<typename K , typename P >

bool mln::p_key< K, P >::has

(

const psite &

)

const [inline]

Test is the psite p belongs to this site set.

References mln::p_key< K, P >::run_().

Referenced by mln::p_key< K, P >::insert().

template<typename K , typename P >

bool mln::p_key< K, P >::has

(

const P &

p

)

const [inline]

Test is the psite p belongs to this site set.

References mln::p_key< K, P >::k_, and mln::p_key< K, P >::run_().

template<typename K , typename P >

void mln::p_key< K, P >::insert

(

const i_element &

k_p

)

[inline]

Insert a pair k_p (key k, site p).

template<typename K , typename P >

void mln::p_key< K, P >::insert	(	const K &	k,
		const P &	p
	)			[inline]

Insert a pair (key k, site p).

References mln::p_key< K, P >::b_, mln::p_key< K, P >::has(), mln::util::set< T >::has(), mln::util::set< T >::insert(), mln::p_key< K, P >::k_, mln::p_key< K, P >::n_, mln::p_key< K, P >::run_(), and mln::p_key< K, P >::s_.

bool mln::internal::site_set_base_< P, p_key< K, P > >::is_empty

(

)

const [inherited]

Test if the site set is empty.

This final method dispatches to is_empty_ whose default implementation relies on the 'nsites' method.

template<typename K , typename P >

bool mln::p_key< K, P >::is_valid

(

)

const [inline]

Test this set validity so returns always true.

References mln::p_key< K, P >::run_().

template<typename K , typename P >

const K & mln::p_key< K, P >::key

(

const P &

p

)

const [inline]

Give the key associated with site p.

References mln::p_key< K, P >::k_, and mln::p_key< K, P >::run_().

Referenced by mln::p_key< K, P >::run_().

template<typename K , typename P >

const util::set< K > & mln::p_key< K, P >::keys

(

)

const [inline]

Give the set of keys.

References mln::p_key< K, P >::b_, and mln::p_key< K, P >::run_().

template<typename K , typename P >

std::size_t mln::p_key< K, P >::memory_size

(

)

const [inline]

Return the size of this site set in memory.

References mln::p_key< K, P >::run_().

template<typename K , typename P >

unsigned mln::p_key< K, P >::nsites

(

)

const [inline]

Give the number of sites.

References mln::p_key< K, P >::n_, and mln::p_key< K, P >::run_().

template<typename K , typename P >

const p_set< P > & mln::p_key< K, P >::operator()

(

const K &

key

)

const [inline]

Give the queue with the priority priority.

This method always works: if the priority is not in this set, an empty queue is returned.

References mln::p_key< K, P >::exists_key(), and mln::p_key< K, P >::s_.

template<typename K , typename P >

void mln::p_key< K, P >::remove

(

const P &

p

)

[inline]

Remove a site p.

References mln::p_key< K, P >::b_, mln::util::set< T >::has(), mln::p_key< K, P >::k_, mln::p_key< K, P >::n_, mln::util::set< T >::remove(), mln::p_key< K, P >::run_(), and mln::p_key< K, P >::s_.

template<typename K , typename P >

void mln::p_key< K, P >::remove_key

(

const K &

k

)

[inline]

Remove all sites with key k.

References mln::p_key< K, P >::b_, mln::p_key< K, P >::k_, mln::p_key< K, P >::n_, mln::p_set< P >::nsites(), mln::util::set< T >::remove(), mln::p_key< K, P >::run_(), and mln::p_key< K, P >::s_.

template<typename K , typename P >

bool mln::p_key< K, P >::run_

(

)

const [inline, protected]

References mln::p_key< K, P >::b_, mln::implies(), mln::util::set< T >::is_empty(), mln::p_key< K, P >::k_, mln::p_key< K, P >::key(), mln::p_key< K, P >::n_, mln::util::set< T >::nelements(), mln::p_set< P >::nsites(), and mln::p_key< K, P >::s_.

Referenced by mln::p_key< K, P >::change_key(), mln::p_key< K, P >::change_keys(), mln::p_key< K, P >::clear(), mln::p_key< K, P >::exists_key(), mln::p_key< K, P >::has(), mln::p_key< K, P >::insert(), mln::p_key< K, P >::is_valid(), mln::p_key< K, P >::key(), mln::p_key< K, P >::keys(), mln::p_key< K, P >::memory_size(), mln::p_key< K, P >::nsites(), mln::p_key< K, P >::p_key(), mln::p_key< K, P >::remove(), mln::p_key< K, P >::remove_key(), and mln::p_key< K, P >::unsafe_insert_().

template<typename K , typename P >

const util::set< K > & mln::p_key< K, P >::set_1_

(

)

const [inline]

References mln::p_key< K, P >::b_.

template<typename K , typename P >

const p_set< P > & mln::p_key< K, P >::set_2_

(

const K &

key

)

const [inline]

References mln::p_key< K, P >::b_, mln::util::set< T >::has(), and mln::p_key< K, P >::s_.

template<typename K , typename P >

void mln::p_key< K, P >::unsafe_insert_	(	const K &	k,
		const P &	p
	)			[inline]

References mln::p_key< K, P >::b_, mln::util::set< T >::insert(), mln::p_key< K, P >::k_, mln::p_key< K, P >::n_, mln::p_key< K, P >::run_(), and mln::p_key< K, P >::s_.

---

Member Data Documentation

template<typename K , typename P >

util::set<K> mln::p_key< K, P >::b_ [protected]

Referenced by mln::p_key< K, P >::change_key(), mln::p_key< K, P >::change_keys(), mln::p_key< K, P >::clear(), mln::p_key< K, P >::exists_key(), mln::p_key< K, P >::insert(), mln::p_key< K, P >::keys(), mln::p_key< K, P >::remove(), mln::p_key< K, P >::remove_key(), mln::p_key< K, P >::run_(), mln::p_key< K, P >::set_1_(), mln::p_key< K, P >::set_2_(), and mln::p_key< K, P >::unsafe_insert_().

template<typename K , typename P >

k_t mln::p_key< K, P >::k_ [protected]

Referenced by mln::p_key< K, P >::change_key(), mln::p_key< K, P >::change_keys(), mln::p_key< K, P >::clear(), mln::p_key< K, P >::has(), mln::p_key< K, P >::insert(), mln::p_key< K, P >::key(), mln::p_key< K, P >::remove(), mln::p_key< K, P >::remove_key(), mln::p_key< K, P >::run_(), and mln::p_key< K, P >::unsafe_insert_().

template<typename K , typename P >

unsigned mln::p_key< K, P >::n_ [protected]

Referenced by mln::p_key< K, P >::change_key(), mln::p_key< K, P >::clear(), mln::p_key< K, P >::insert(), mln::p_key< K, P >::nsites(), mln::p_key< K, P >::p_key(), mln::p_key< K, P >::remove(), mln::p_key< K, P >::remove_key(), mln::p_key< K, P >::run_(), and mln::p_key< K, P >::unsafe_insert_().

template<typename K , typename P >

s_t mln::p_key< K, P >::s_ [protected]

Referenced by mln::p_key< K, P >::change_key(), mln::p_key< K, P >::change_keys(), mln::p_key< K, P >::clear(), mln::p_key< K, P >::insert(), mln::p_key< K, P >::operator()(), mln::p_key< K, P >::remove(), mln::p_key< K, P >::remove_key(), mln::p_key< K, P >::run_(), mln::p_key< K, P >::set_2_(), and mln::p_key< K, P >::unsafe_insert_().