\hypertarget{a00250}{
\section{mln::image\_\-if$<$ I, F $>$ Struct Template Reference}
\label{d0/da7/a00250}\index{mln::image\_\-if@{mln::image\_\-if}}
}


\hyperlink{a00044}{Image} which domain is restricted by a function 'site -\/$>$ Boolean'.  




{\ttfamily \#include $<$image\_\-if.hh$>$}



Inherits image\_\-domain\_\-morpher$<$ I, p\_\-if$<$ I::domain\_\-t, F $>$, image\_\-if$<$ I, F $>$ $>$.

\subsection*{Public Types}
\begin{DoxyCompactItemize}
\item 
typedef \hyperlink{a00250}{image\_\-if}$<$ tag::image\_\-$<$ I $>$, tag::function\_\-$<$ F $>$ $>$ \hyperlink{a00250_a32a244e18c6162c62c10bc1361e49a2c}{skeleton}
\begin{DoxyCompactList}\small\item\em Skeleton. \item\end{DoxyCompactList}\end{DoxyCompactItemize}
\subsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
const \hyperlink{a00306}{p\_\-if}$<$ typename I::domain\_\-t, F $>$ \& \hyperlink{a00250_a963a8b5ec6c7955174e56fd2f209c7b5}{domain} () const 
\begin{DoxyCompactList}\small\item\em Give the definition domain. \item\end{DoxyCompactList}\item 
\hyperlink{a00250_a06e99c065617b96bcc044ad6acf0df36}{image\_\-if} (I \&ima, const F \&f)
\begin{DoxyCompactList}\small\item\em Constructor from an image {\ttfamily ima} and a predicate {\ttfamily f}. \item\end{DoxyCompactList}\item 
\hyperlink{a00250_a43edce0d5686907bdd42a0af8fa4971e}{image\_\-if} ()
\begin{DoxyCompactList}\small\item\em Constructor without argument. \item\end{DoxyCompactList}\item 
\hyperlink{a00250_a663987c8b9733c089778db327bbd3f3c}{operator image\_\-if$<$ const I, F $>$} () const 
\begin{DoxyCompactList}\small\item\em Const promotion via conversion. \item\end{DoxyCompactList}\end{DoxyCompactItemize}


\subsection{Detailed Description}
\subsubsection*{template$<$typename I, typename F$>$ struct mln::image\_\-if$<$ I, F $>$}

\hyperlink{a00044}{Image} which domain is restricted by a function 'site -\/$>$ Boolean'. 

Definition at line 93 of file image\_\-if.hh.



\subsection{Member Typedef Documentation}
\hypertarget{a00250_a32a244e18c6162c62c10bc1361e49a2c}{
\index{mln::image\_\-if@{mln::image\_\-if}!skeleton@{skeleton}}
\index{skeleton@{skeleton}!mln::image_if@{mln::image\_\-if}}
\subsubsection[{skeleton}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename I, typename F$>$ typedef {\bf image\_\-if}$<$ tag::image\_\-$<$I$>$, tag::function\_\-$<$F$>$ $>$ {\bf mln::image\_\-if}$<$ I, F $>$::{\bf skeleton}}}
\label{d0/da7/a00250_a32a244e18c6162c62c10bc1361e49a2c}


Skeleton. 



Definition at line 98 of file image\_\-if.hh.



\subsection{Constructor \& Destructor Documentation}
\hypertarget{a00250_a43edce0d5686907bdd42a0af8fa4971e}{
\index{mln::image\_\-if@{mln::image\_\-if}!image\_\-if@{image\_\-if}}
\index{image\_\-if@{image\_\-if}!mln::image_if@{mln::image\_\-if}}
\subsubsection[{image\_\-if}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename I , typename F $>$ {\bf mln::image\_\-if}$<$ I, F $>$::{\bf image\_\-if} (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{d0/da7/a00250_a43edce0d5686907bdd42a0af8fa4971e}


Constructor without argument. 



Definition at line 188 of file image\_\-if.hh.

\hypertarget{a00250_a06e99c065617b96bcc044ad6acf0df36}{
\index{mln::image\_\-if@{mln::image\_\-if}!image\_\-if@{image\_\-if}}
\index{image\_\-if@{image\_\-if}!mln::image_if@{mln::image\_\-if}}
\subsubsection[{image\_\-if}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename I , typename F $>$ {\bf mln::image\_\-if}$<$ I, F $>$::{\bf image\_\-if} (
\begin{DoxyParamCaption}
\item[{I \&}]{ ima, }
\item[{const F \&}]{ f}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{d0/da7/a00250_a06e99c065617b96bcc044ad6acf0df36}


Constructor from an image {\ttfamily ima} and a predicate {\ttfamily f}. 



Definition at line 194 of file image\_\-if.hh.



\subsection{Member Function Documentation}
\hypertarget{a00250_a963a8b5ec6c7955174e56fd2f209c7b5}{
\index{mln::image\_\-if@{mln::image\_\-if}!domain@{domain}}
\index{domain@{domain}!mln::image_if@{mln::image\_\-if}}
\subsubsection[{domain}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename I , typename F $>$ const {\bf p\_\-if}$<$ typename I::domain\_\-t, F $>$ \& {\bf mln::image\_\-if}$<$ I, F $>$::domain (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{d0/da7/a00250_a963a8b5ec6c7955174e56fd2f209c7b5}


Give the definition domain. 



Definition at line 211 of file image\_\-if.hh.

\hypertarget{a00250_a663987c8b9733c089778db327bbd3f3c}{
\index{mln::image\_\-if@{mln::image\_\-if}!operator image\_\-if$<$ const I, F $>$@{operator image\_\-if$<$ const I, F $>$}}
\index{operator image\_\-if$<$ const I, F $>$@{operator image\_\-if$<$ const I, F $>$}!mln::image_if@{mln::image\_\-if}}
\subsubsection[{operator image\_\-if$<$ const I, F $>$}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename I , typename F $>$ {\bf mln::image\_\-if}$<$ I, F $>$::operator {\bf image\_\-if}$<$ const I, F $>$ (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{d0/da7/a00250_a663987c8b9733c089778db327bbd3f3c}


Const promotion via conversion. 



Definition at line 219 of file image\_\-if.hh.

