Public Types | Public Member Functions | Protected Attributes

mln::image_if< I, F > Struct Template Reference
[Domain morphers]

Image which domain is restricted by a function 'site -> Boolean'. More...

#include <image_if.hh>

Inheritance diagram for mln::image_if< I, F >:
Inheritance graph

List of all members.

Public Types

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

Public Member Functions

mln::metal::const_< I >::retdelegatee_ () const
 Return the delegatee_ pointer; default code.
I * 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 p_if< typename
I::domain_t, F > & 
domain () const
 Give the definition domain.
bool has (const psite &p) const
 Test if p belongs to the image domain.
const util::tracked_ptr
< internal::data< image_if< I,
F > > > & 
hook_data_ () const
 Hook to the image data.
const void * id_ () const
 Give an identifier of this image.
 image_if (I &ima, const F &f)
 Constructor from an image ima and a predicate f.
 image_if ()
 Constructor without argument.
unsigned index_of_point (const P &p) const
 Give the offset of the site p.
void init_ (I &ima, const F &f)
bool is_valid () const
 Test if this image has been initialized; default impl.
std::size_t nsites () const
 Give the number of sites of the image domain.
 operator image_if< const I, F > () const
 Const promotion via conversion.
rvalue operator() (const typename p_if< I::domain_t, F >::psite &p) const
 Read-only access of pixel value at point site p.
lvalue operator() (const typename p_if< I::domain_t, F >::psite &p)
 Read and "write if possible" access of pixel value at point site p.
image_if< I, F > & rw ()
 State that the morpher is writable.
I & unmorph_ ()
 Give the morphed image (mutable version).
mln::metal::const_< I >::retunmorph_ () 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< image_if< I,
F > > > 
data_

Detailed Description

template<typename I, typename F>
struct mln::image_if< I, F >

Image which domain is restricted by a function 'site -> Boolean'.

Definition at line 93 of file image_if.hh.


Member Typedef Documentation

typedef p_if< I::domain_t, F > ::bkd_piter mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::bkd_piter [inherited]

Backward Site_Iterator associated type.

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

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

Reimplemented from mln::Object< image_if< I, F > >.

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

typedef I mln::internal::image_morpher< I, I::value , p_if< I::domain_t, F > , image_if< I, F > >::delegatee [inherited]

Delegatee associated type.

Definition at line 57 of file image_morpher.hh.

typedef p_if< I::domain_t, F > mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::domain_t [inherited]

Site_Set associated type.

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

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

Definition at line 173 of file object.hh.

typedef p_if< I::domain_t, F > ::fwd_piter mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::fwd_piter [inherited]

Forward Site_Iterator associated type.

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

typedef internal::morpher_lvalue_< I >::ret mln::internal::image_domain_morpher< I, p_if< I::domain_t, F > , image_if< I, F > >::lvalue [inherited]

Return type of read-write access.

Definition at line 59 of file image_domain_morpher.hh.

typedef fwd_piter mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::piter [inherited]

Site_Iterator associated type; default definition is fwd_piter.

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

typedef p_if< I::domain_t, F > ::psite mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::psite [inherited]

Point_Site associated type.

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

typedef I ::rvalue mln::internal::image_domain_morpher< I, p_if< I::domain_t, F > , image_if< I, F > >::rvalue [inherited]

Return type of read-only access.

Definition at line 56 of file image_domain_morpher.hh.

typedef p_if< I::domain_t, F > ::site mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::site [inherited]

Site associated type.

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

template<typename I, typename F>
typedef image_if< tag::image_<I>, tag::function_<F> > mln::image_if< I, F >::skeleton

Skeleton.

Definition at line 98 of file image_if.hh.

typedef mln::value::set<I::value > mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::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<I::value >::ret > mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::t_values_space [inherited]

Value space associated type.

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

typedef I mln::internal::image_morpher< I, I::value , p_if< I::domain_t, F > , image_if< I, F > >::unmorph [inherited]

Unmorph image associated type.

Definition at line 68 of file image_morpher.hh.

typedef I::value mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::value [inherited]

Value associated type.

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


Constructor & Destructor Documentation

template<typename I , typename F >
mln::image_if< I, F >::image_if (  )  [inline]

Constructor without argument.

Definition at line 188 of file image_if.hh.

template<typename I , typename F >
mln::image_if< I, F >::image_if ( I &  ima,
const F &  f 
) [inline]

Constructor from an image ima and a predicate f.

Definition at line 194 of file image_if.hh.

References mln::image_if< I, F >::init_().


Member Function Documentation

mln::metal::const_< I >::ret* mln::internal::image_morpher< I, I::value , p_if< I::domain_t, F > , image_if< I, F > >::delegatee_ (  )  const [inherited]

Return the delegatee_ pointer; default code.

I* mln::internal::image_morpher< I, I::value , p_if< I::domain_t, F > , image_if< I, F > >::delegatee_ (  )  [inherited]

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

void mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::destroy (  )  [inherited]

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

template<typename I , typename F >
const p_if< typename I::domain_t, F > & mln::image_if< I, F >::domain (  )  const [inline]
bool mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::has ( const psite p  )  const [inherited]

Test if p belongs to the image domain.

const util::tracked_ptr< internal::data<image_if< I, F > > >& mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::hook_data_ (  )  const [inherited]

Hook to the image data.

const void* mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::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_< image_if< I, F > , mln::metal::equal< mln_trait_image_speed(image_if< I, F >), 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 >
void mln::image_if< I, F >::init_ ( I &  ima,
const F &  f 
) [inline]
bool mln::internal::image_morpher< I, I::value , p_if< I::domain_t, F > , image_if< I, F > >::is_valid (  )  const [inherited]
std::size_t mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::nsites (  )  const [inherited]

Give the number of sites of the image domain.

template<typename I , typename F >
mln::image_if< I, F >::operator image_if< const I, F > (  )  const [inline]
rvalue mln::internal::image_domain_morpher< I, p_if< I::domain_t, F > , image_if< I, F > >::operator() ( const typename p_if< I::domain_t, F > ::psite p  )  const [inherited]

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

lvalue mln::internal::image_domain_morpher< I, p_if< I::domain_t, F > , image_if< I, F > >::operator() ( const typename p_if< I::domain_t, F > ::psite p  )  [inherited]

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

image_if< I, F > & mln::internal::image_morpher< I, I::value , p_if< I::domain_t, F > , image_if< I, F > >::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.

I& mln::internal::image_morpher< I, I::value , p_if< I::domain_t, F > , image_if< I, F > >::unmorph_ (  )  [inherited]

Give the morphed image (mutable version).

mln::metal::const_< I >::ret& mln::internal::image_morpher< I, I::value , p_if< I::domain_t, F > , image_if< I, F > >::unmorph_ (  )  const [inherited]

Give the morphed image (const version).

const t_eligible_values_set& mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::values_eligible (  )  const [inherited]
const t_values_space& mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::values_space (  )  const [inherited]

Return the value space of the image.


Member Data Documentation

util::tracked_ptr< internal::data<image_if< I, F > > > mln::internal::image_base< I::value , p_if< I::domain_t, F > , image_if< I, F > >::data_ [protected, inherited]