Site set transformed through a function. More...
#include <p_transformed.hh>
Public Types | |
typedef p_transformed_piter < typename S::bkd_piter, S, F > | bkd_piter |
Backward Site_Iterator associated type. | |
typedef Site_Set< void > | category |
typedef S::element | element |
Element associated type. | |
typedef p_transformed< S, F > | exact_t |
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. | |
typedef subject< S::psite >::ret | site |
Site 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_empty () const |
Test if the site set is empty. | |
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 (const S &s, const F &f) | |
Constructor with a site set s and a predicate f . | |
p_transformed () | |
Constructor without argument. | |
const S & | primary_set () const |
Return the primary set. | |
Protected Attributes | |
F | f_ |
S | s_ |
Private Types | |
typedef p_transformed< S, F > | self_ |
typedef internal::site_set_base_ < typename F::result, self_ > | super_ |
Site set transformed through a function.
Parameter S
is a site set type; parameter F is a function from site to site.
typedef p_transformed_piter<typename S ::bkd_piter, S, F> mln::p_transformed< S, F >::bkd_piter |
Backward Site_Iterator associated type.
typedef Site_Set<void> mln::Site_Set< p_transformed< S, F > >::category [inherited] |
Reimplemented from mln::Object< p_transformed< S, F > >.
typedef S ::element mln::p_transformed< S, F >::element |
Element associated type.
typedef p_transformed< S, F > mln::Object< p_transformed< S, F > >::exact_t [inherited] |
typedef p_transformed_piter<typename S ::fwd_piter, S, F> mln::p_transformed< S, F >::fwd_piter |
Forward Site_Iterator associated type.
typedef fwd_piter mln::p_transformed< S, F >::piter |
Site_Iterator associated type.
typedef S ::psite mln::p_transformed< S, F >::psite |
Psite associated type.
typedef p_transformed<S,F> mln::p_transformed< S, F >::self_ [private] |
typedef subject<S::psite >::ret mln::internal::site_set_base_< S::psite , p_transformed< S, F > >::site [inherited] |
Site associated type.
typedef internal::site_set_base_<typename F ::result, self_> mln::p_transformed< S, F >::super_ [private] |
mln::p_transformed< S, F >::p_transformed | ( | const S & | s, | |
const F & | f | |||
) | [inline] |
Constructor with a site set s
and a predicate f
.
mln::p_transformed< S, F >::p_transformed | ( | ) | [inline] |
Constructor without argument.
const F & mln::p_transformed< S, F >::function | ( | ) | const [inline] |
Return the transformation function.
Referenced by mln::init_().
bool mln::p_transformed< S, F >::has | ( | const psite & | p | ) | const [inline] |
Test if p
belongs to the subset.
References mln::p_transformed< S, F >::f_.
bool mln::internal::site_set_base_< S::psite , p_transformed< S, F > >::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.
bool mln::p_transformed< S, F >::is_valid | ( | ) | const [inline] |
Test if this site set is valid.
std::size_t mln::p_transformed< S, F >::memory_size | ( | ) | const [inline] |
Return the size of this site set in memory.
const S & mln::p_transformed< S, F >::primary_set | ( | ) | const [inline] |
Return the primary set.
Referenced by mln::p_transformed_piter< Pi, S, F >::change_target().
F mln::p_transformed< S, F >::f_ [protected] |
Referenced by mln::p_transformed< S, F >::has().
S mln::p_transformed< S, F >::s_ [protected] |