Public Types | Public Member Functions | Protected Attributes

mln::lazy_image< I, F, B > Struct Template Reference
[Identity morphers]

Image values are computed on the fly. More...

#include <lazy_image.hh>

Inheritance diagram for mln::lazy_image< I, F, B >:
Inheritance graph

List of all members.

Public Types

typedef I::domain_t::bkd_piter bkd_piter
 Backward Site_Iterator associated type.
typedef Image< void > category
typedef mln::trait::ch_value
< I, F::result >::ret 
delegatee
 Delegatee associated type.
typedef I::domain_t domain_t
 Site_Set associated type.
typedef lazy_image< I, F, B > exact_t
typedef I::domain_t::fwd_piter fwd_piter
 Forward Site_Iterator associated type.
typedef F::result lvalue
 Return type of read-write access.
typedef fwd_piter piter
 Site_Iterator associated type; default definition is fwd_piter.
typedef I::domain_t::psite psite
 Point_Site associated type.
typedef F::result rvalue
 Return type of read access.
typedef I::domain_t::site site
 Site associated type.
typedef lazy_image
< tag::image_< I >, F, B > 
skeleton
 Skeleton.
typedef
mln::internal::image_identity
< mln::trait::ch_value< I,
typename F::result >::ret,
typename I::domain_t,
lazy_image< I, F, B > > 
super_
typedef mln::value::set
< mln::trait::ch_value< I,
F::result >::ret::value > 
t_eligible_values_set
 Eligible-value-set associated type.
typedef mln::value::set
< typename
mln::value::super_value
< mln::trait::ch_value< I,
F::result >::ret::value >::ret
t_values_space
 Value space associated type.
typedef mln::trait::ch_value
< I, F::result >::ret 
unmorph
 Unmorph image associated type.
typedef mln::trait::ch_value
< I, F::result >::ret::value 
value
 Value associated type.

Public Member Functions

mln::metal::const_
< mln::trait::ch_value< I,
F::result >::ret >::ret
delegatee_ () const
 Return the delegatee_ pointer; default code.
mln::trait::ch_value< I,
F::result >::ret
delegatee_ ()
 Return the delegatee_ pointer (non-const version); default code.
void destroy ()
 Detach data from an image (free it if nobody else hold it).
const box< typename I::psite > & domain () const
 Return domain of lazyd_image.
bool has (const typename I::psite &) const
 Test if a pixel value is accessible at p.
bool has (const psite &p) const
 Test if p belongs to the image domain.
bool has (const typename mln::trait::ch_value< I, F::result >::ret::psite &p) const
const util::tracked_ptr
< internal::data< lazy_image
< I, F, B > > > & 
hook_data_ () const
 Hook to the image data.
const void * id_ () const
 Give an identifier of this image.
unsigned index_of_point (const P &p) const
 Give the offset of the site p.
void init_ (const F &fun, const B &box)
 Initialize an empty image.
bool is_valid () const
 Test if this image has been initialized; default impl.
 lazy_image (const F &fun, const B &box)
 Constructors.
 lazy_image ()
 Constructors.
std::size_t nsites () const
 Give the number of sites of the image domain.
rvalue operator() (const typename I::psite &p) const
 Read-only access of pixel value at point site p.
lvalue operator() (const typename I::domain_t::psite &p)
 Read-write access of pixel value at point site p.
rvalue operator() (const typename I::domain_t::psite &p) const
 Read-only access of pixel value at point site p.
F::result operator() (const typename F::input &x)
 Read and "write if possible" access of pixel value at F::input x.
F::result operator() (const typename F::input &x) const
 Read-only access of pixel value at F::input x.
lvalue operator() (const typename I::psite &p)
 Read and "write if possible" access of pixel value at point site p.
lazy_image< I, F, B > & rw ()
 State that the morpher is writable.
mln::trait::ch_value< I,
F::result >::ret
unmorph_ ()
 Give the morphed image (mutable version).
mln::metal::const_
< mln::trait::ch_value< I,
F::result >::ret >::ret
unmorph_ () const
 Give the morphed image (const version).
const t_eligible_values_setvalues_eligible () const
const t_values_spacevalues_space () const
 Return the value space of the image.

Protected Attributes

util::tracked_ptr
< internal::data< lazy_image
< I, F, B > > > 
data_

Detailed Description

template<typename I, typename F, typename B>
struct mln::lazy_image< I, F, B >

Image values are computed on the fly.

The parameter I is the type of image. The parameter F is the type of function. The parameter B is the type of box.

This image class tage a functor fun and a box box. Access to ima(p) where p include box return fun(b) lazily.

Definition at line 92 of file lazy_image.hh.


Member Typedef Documentation

typedef I::domain_t ::bkd_piter mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::bkd_piter [inherited]

Backward Site_Iterator associated type.

Definition at line 118 of file core/internal/image_base.hh.

typedef Image<void> mln::Image< lazy_image< I, F, B > >::category [inherited]

Reimplemented from mln::Object< lazy_image< I, F, B > >.

Definition at line 75 of file core/concept/image.hh.

typedef mln::trait::ch_value< I, F::result >::ret mln::internal::image_morpher< mln::trait::ch_value< I, F::result >::ret , mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::delegatee [inherited]

Delegatee associated type.

Definition at line 57 of file image_morpher.hh.

typedef I::domain_t mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::domain_t [inherited]

Site_Set associated type.

Definition at line 105 of file core/internal/image_base.hh.

typedef lazy_image< I, F, B > mln::Object< lazy_image< I, F, B > >::exact_t [inherited]

Definition at line 173 of file object.hh.

typedef I::domain_t ::fwd_piter mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::fwd_piter [inherited]

Forward Site_Iterator associated type.

Definition at line 115 of file core/internal/image_base.hh.

template<typename I, typename F, typename B>
typedef F ::result mln::lazy_image< I, F, B >::lvalue

Return type of read-write access.

Reimplemented from mln::internal::image_identity< mln::trait::ch_value< I, F::result >::ret, I::domain_t, lazy_image< I, F, B > >.

Definition at line 104 of file lazy_image.hh.

typedef fwd_piter mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::piter [inherited]

Site_Iterator associated type; default definition is fwd_piter.

Definition at line 123 of file core/internal/image_base.hh.

typedef I::domain_t ::psite mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::psite [inherited]

Point_Site associated type.

Definition at line 108 of file core/internal/image_base.hh.

template<typename I, typename F, typename B>
typedef F ::result mln::lazy_image< I, F, B >::rvalue
typedef I::domain_t ::site mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::site [inherited]

Site associated type.

Definition at line 111 of file core/internal/image_base.hh.

template<typename I, typename F, typename B>
typedef lazy_image< tag::image_<I>, F, B > mln::lazy_image< I, F, B >::skeleton

Skeleton.

Definition at line 107 of file lazy_image.hh.

template<typename I, typename F, typename B>
typedef mln::internal::image_identity< mln::trait::ch_value< I , typename F ::result >::ret, typename I ::domain_t, lazy_image<I, F,B> > mln::lazy_image< I, F, B >::super_

Definition at line 98 of file lazy_image.hh.

typedef mln::value::set<mln::trait::ch_value< I, F::result >::ret::value > mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::t_eligible_values_set [inherited]

Eligible-value-set associated type.

Definition at line 91 of file core/internal/image_base.hh.

typedef mln::value::set< typename mln::value::super_value<mln::trait::ch_value< I, F::result >::ret::value >::ret > mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::t_values_space [inherited]

Value space associated type.

Definition at line 98 of file core/internal/image_base.hh.

typedef mln::trait::ch_value< I, F::result >::ret mln::internal::image_morpher< mln::trait::ch_value< I, F::result >::ret , mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::unmorph [inherited]

Unmorph image associated type.

Definition at line 68 of file image_morpher.hh.

typedef mln::trait::ch_value< I, F::result >::ret ::value mln::internal::image_identity< mln::trait::ch_value< I, F::result >::ret , I::domain_t , lazy_image< I, F, B > >::value [inherited]

Constructor & Destructor Documentation

template<typename I, typename F, typename B>
mln::lazy_image< I, F, B >::lazy_image (  ) 

Constructors.

template<typename I , typename F, typename B>
mln::lazy_image< I, F, B >::lazy_image ( const F &  fun,
const B &  box 
) [inline]

Member Function Documentation

mln::metal::const_< mln::trait::ch_value< I, F::result >::ret >::ret* mln::internal::image_morpher< mln::trait::ch_value< I, F::result >::ret , mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::delegatee_ (  )  const [inherited]

Return the delegatee_ pointer; default code.

mln::trait::ch_value< I, F::result >::ret * mln::internal::image_morpher< mln::trait::ch_value< I, F::result >::ret , mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::delegatee_ (  )  [inherited]

Return the delegatee_ pointer (non-const version); default code.

void mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::destroy (  )  [inherited]

Detach data from an image (free it if nobody else hold it).

template<typename I , typename F , typename B >
const box< typename I::psite > & mln::lazy_image< I, F, B >::domain (  )  const [inline]
bool mln::internal::image_identity< mln::trait::ch_value< I, F::result >::ret , I::domain_t , lazy_image< I, F, B > >::has ( const typename mln::trait::ch_value< I, F::result >::ret ::psite p  )  const [inherited]
bool mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::has ( const psite p  )  const [inherited]

Test if p belongs to the image domain.

template<typename I, typename F , typename B >
bool mln::lazy_image< I, F, B >::has ( const typename I::psite &  p  )  const [inline]
const util::tracked_ptr< internal::data<lazy_image< I, F, B > > >& mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::hook_data_ (  )  const [inherited]

Hook to the image data.

const void* mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::id_ (  )  const [inherited]

Give an identifier of this image.

When several image variables designate the same image, they share the same identifier.

unsigned mln::internal::check::image_fastest_< lazy_image< I, F, B > , mln::metal::equal< mln_trait_image_speed(lazy_image< I, F, B >), trait::image::speed::fastest >::eval >::index_of_point ( const P &  p  )  const [inherited]

Give the offset of the site p.

Parameters:
[in] p A site.
Warning:
This method is final.
Precondition:
The image has to be initialized and to own the point p.
Postcondition:
p == point_at_index(result)
template<typename I , typename F, typename B>
void mln::lazy_image< I, F, B >::init_ ( const F &  fun,
const B &  box 
) [inline]
bool mln::internal::image_morpher< mln::trait::ch_value< I, F::result >::ret , mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::is_valid (  )  const [inherited]

Test if this image has been initialized; default impl.

Reimplemented from mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value, I::domain_t, lazy_image< I, F, B > >.

std::size_t mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::nsites (  )  const [inherited]

Give the number of sites of the image domain.

template<typename I , typename F, typename B >
F::result mln::lazy_image< I, F, B >::operator() ( const typename F::input &  x  )  const [inline]

Read-only access of pixel value at F::input x.

Definition at line 183 of file lazy_image.hh.

rvalue mln::internal::image_identity< mln::trait::ch_value< I, F::result >::ret , I::domain_t , lazy_image< I, F, B > >::operator() ( const typename I::domain_t ::psite p  )  const [inherited]

Read-only access of pixel value at point site p.

lvalue mln::internal::image_identity< mln::trait::ch_value< I, F::result >::ret , I::domain_t , lazy_image< I, F, B > >::operator() ( const typename I::domain_t ::psite p  )  [inherited]

Read-write access of pixel value at point site p.

template<typename I , typename F, typename B >
F::result mln::lazy_image< I, F, B >::operator() ( const typename F::input &  x  )  [inline]

Read and "write if possible" access of pixel value at F::input x.

Definition at line 197 of file lazy_image.hh.

template<typename I, typename F, typename B >
lazy_image< I, F, B >::rvalue mln::lazy_image< I, F, B >::operator() ( const typename I::psite &  p  )  const [inline]

Read-only access of pixel value at point site p.

Definition at line 210 of file lazy_image.hh.

template<typename I, typename F, typename B >
lazy_image< I, F, B >::lvalue mln::lazy_image< I, F, B >::operator() ( const typename I::psite &  p  )  [inline]

Read and "write if possible" access of pixel value at point site p.

Definition at line 218 of file lazy_image.hh.

lazy_image< I, F, B > & mln::internal::image_morpher< mln::trait::ch_value< I, F::result >::ret , mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::rw (  )  [inherited]

State that the morpher is writable.

This allows for C++ to use it as a mutable object even if it is a temporary object.

mln::trait::ch_value< I, F::result >::ret & mln::internal::image_morpher< mln::trait::ch_value< I, F::result >::ret , mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::unmorph_ (  )  [inherited]

Give the morphed image (mutable version).

mln::metal::const_< mln::trait::ch_value< I, F::result >::ret >::ret& mln::internal::image_morpher< mln::trait::ch_value< I, F::result >::ret , mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::unmorph_ (  )  const [inherited]

Give the morphed image (const version).

const t_eligible_values_set& mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::values_eligible (  )  const [inherited]
const t_values_space& mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::values_space (  )  const [inherited]

Return the value space of the image.


Member Data Documentation

util::tracked_ptr< internal::data<lazy_image< I, F, B > > > mln::internal::image_base< mln::trait::ch_value< I, F::result >::ret::value , I::domain_t , lazy_image< I, F, B > >::data_ [protected, inherited]