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

#include <lazy_image.hh>

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

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_set &	values_eligible () const
const t_values_space &	values_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.

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.

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

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

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.

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.

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

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.

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 > >.

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.

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.

template<typename I, typename F, typename B>

typedef F ::result mln::lazy_image< I, F, B >::rvalue

Return type of read access.

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

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.

template<typename I, typename F, typename B>

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

Skeleton.

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_

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.

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.

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.

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]

Value associated type.

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

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]`

Constructors.

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

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]

Return domain of lazyd_image.

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

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

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]

Test if a pixel value is accessible at p.

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

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]`

Initialize an empty image.

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

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.

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.

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.

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.

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]

Referenced by mln::lazy_image< I, F, B >::domain(), mln::lazy_image< I, F, B >::has(), mln::lazy_image< I, F, B >::init_(), and mln::lazy_image< I, F, B >::lazy_image().

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

Public Types

Public Member Functions

Protected Attributes

Detailed Description

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

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

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

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