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.

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.

template<typename S, typename F>

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

Element associated type.

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.

template<typename S, typename F>

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

Site_Iterator associated type.

template<typename S, typename F>

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

Psite associated type.