Public Types | Public Member Functions

mln::p_transformed< S, F > Class Template Reference
[Sparse types]

Site set transformed through a function. More...

#include <p_transformed.hh>

Inherits site_set_base_< S::psite, p_transformed< S, F > >.

List of all members.

Public Types

typedef p_transformed_piter
< typename S::bkd_piter, S, F > 
bkd_piter
 Backward Site_Iterator associated type.
typedef S::element element
 Element associated type.
typedef p_transformed_piter
< typename S::fwd_piter, S, F > 
fwd_piter
 Forward Site_Iterator associated type.
typedef fwd_piter piter
 Site_Iterator associated type.
typedef S::psite psite
 Psite associated type.

Public Member Functions

const F & function () const
 Return the transformation function.
bool has (const psite &p) const
 Test if p belongs to the subset.
bool is_valid () const
 Test if this site set is valid.
std::size_t memory_size () const
 Return the size of this site set in memory.
 p_transformed ()
 Constructor without argument.
 p_transformed (const S &s, const F &f)
 Constructor with a site set s and a predicate f.
const S & primary_set () const
 Return the primary set.

Detailed Description

template<typename S, typename F>
class mln::p_transformed< S, F >

Site set transformed through a function.

Parameter S is a site set type; parameter F is a function from site to site.

Definition at line 82 of file p_transformed.hh.


Member Typedef Documentation

template<typename S, typename F>
typedef p_transformed_piter<typename S ::bkd_piter, S, F> mln::p_transformed< S, F >::bkd_piter

Backward Site_Iterator associated type.

Definition at line 101 of file p_transformed.hh.

template<typename S, typename F>
typedef S ::element mln::p_transformed< S, F >::element

Element associated type.

Definition at line 91 of file p_transformed.hh.

template<typename S, typename F>
typedef p_transformed_piter<typename S ::fwd_piter, S, F> mln::p_transformed< S, F >::fwd_piter

Forward Site_Iterator associated type.

Definition at line 98 of file p_transformed.hh.

template<typename S, typename F>
typedef fwd_piter mln::p_transformed< S, F >::piter

Site_Iterator associated type.

Definition at line 104 of file p_transformed.hh.

template<typename S, typename F>
typedef S ::psite mln::p_transformed< S, F >::psite

Psite associated type.

Definition at line 95 of file p_transformed.hh.


Constructor & Destructor Documentation

template<typename S , typename F >
mln::p_transformed< S, F >::p_transformed ( const S &  s,
const F &  f 
) [inline]

Constructor with a site set s and a predicate f.

Definition at line 163 of file p_transformed.hh.

template<typename S , typename F >
mln::p_transformed< S, F >::p_transformed (  )  [inline]

Constructor without argument.

Definition at line 157 of file p_transformed.hh.


Member Function Documentation

template<typename S , typename F >
const F & mln::p_transformed< S, F >::function (  )  const [inline]

Return the transformation function.

Definition at line 206 of file p_transformed.hh.

template<typename S , typename F >
bool mln::p_transformed< S, F >::has ( const psite p  )  const [inline]

Test if p belongs to the subset.

Definition at line 172 of file p_transformed.hh.

template<typename S , typename F >
bool mln::p_transformed< S, F >::is_valid (  )  const [inline]

Test if this site set is valid.

Definition at line 182 of file p_transformed.hh.

template<typename S , typename F >
std::size_t mln::p_transformed< S, F >::memory_size (  )  const [inline]

Return the size of this site set in memory.

Definition at line 190 of file p_transformed.hh.

template<typename S , typename F >
const S & mln::p_transformed< S, F >::primary_set (  )  const [inline]

Return the primary set.

Definition at line 198 of file p_transformed.hh.

Referenced by mln::p_transformed_piter< Pi, S, F >::change_target().