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>

Inherits image_domain_morpher< I, p_if< I::domain_t, F >, image_if< I, F > >.

List of all members.

Public Types
typedef image_if< tag::image_ < I >, tag::function_< F > >	skeleton
	Skeleton.
Public Member Functions
const p_if< typename I::domain_t, F > &	domain () const
	Give the definition domain.
	image_if (I &ima, const F &f)
	Constructor from an image ima and a predicate f.
	image_if ()
	Constructor without argument.
	operator image_if< const I, F > () const
	Const promotion via conversion.

---

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

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.

---

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.

---

Member Function Documentation

template<typename I , typename F >

const p_if< typename I::domain_t, F > & mln::image_if< I, F >::domain

(

)

const [inline]

Give the definition domain.

Definition at line 211 of file image_if.hh.

template<typename I , typename F >

mln::image_if< I, F >::operator image_if< const I, F >

(

)

const [inline]

Const promotion via conversion.

Definition at line 219 of file image_if.hh.