mln::sub_image_if< I, S > Struct Template Reference
[Domain morphers]

Image having its domain restricted by a site set and a function. More...

#include <sub_image_if.hh>

Inherits image_domain_morpher< I, p_if< S, fun::p2b::has< I > >, sub_image_if< I, S > >.

List of all members.

Public Types
typedef sub_image_if < tag::image_< I > , tag::domain_< S > >	skeleton
	Skeleton.
Public Member Functions
const p_if< S, fun::p2b::has < I > > &	domain () const
	Give the definition domain.
	sub_image_if (I &ima, const S &s)
	Constructor.
	sub_image_if ()
	Constructor without argument.

---

Detailed Description

template<typename I, typename S>
struct mln::sub_image_if< I, S >

Image having its domain restricted by a site set and a function.

---

Member Typedef Documentation

template<typename I, typename S>

typedef sub_image_if< tag::image_<I>, tag::domain_<S> > mln::sub_image_if< I, S >::skeleton

Skeleton.

---

Constructor & Destructor Documentation

template<typename I , typename S >

mln::sub_image_if< I, S >::sub_image_if

(

)

[inline]

Constructor without argument.

template<typename I , typename S >

mln::sub_image_if< I, S >::sub_image_if	(	I &	ima,
		const S &	s
	)			[inline]

Constructor.

---

Member Function Documentation

template<typename I , typename S >

const p_if< S, fun::p2b::has< I > > & mln::sub_image_if< I, S >::domain

(

)

const [inline]

Give the definition domain.