\hypertarget{a00322}{
\section{mln::p\_\-transformed$<$ S, F $>$ Class Template Reference}
\label{de/de9/a00322}\index{mln::p\_\-transformed@{mln::p\_\-transformed}}
}


\hyperlink{a00343}{Site} set transformed through a function.  




{\ttfamily \#include $<$p\_\-transformed.hh$>$}



Inherits site\_\-set\_\-base\_\-$<$ S::psite, p\_\-transformed$<$ S, F $>$ $>$.

\subsection*{Public Types}
\begin{DoxyCompactItemize}
\item 
typedef \hyperlink{a00323}{p\_\-transformed\_\-piter}$<$ typename S::bkd\_\-piter, S, F $>$ \hyperlink{a00322_a1e3b63f654a03c0dee12dffb36565acf}{bkd\_\-piter}
\begin{DoxyCompactList}\small\item\em Backward \hyperlink{a00345}{Site\_\-Iterator} associated type. \item\end{DoxyCompactList}\item 
typedef S::element \hyperlink{a00322_abda26d10c96546573ffdc9cad5723b5d}{element}
\begin{DoxyCompactList}\small\item\em Element associated type. \item\end{DoxyCompactList}\item 
typedef \hyperlink{a00323}{p\_\-transformed\_\-piter}$<$ typename S::fwd\_\-piter, S, F $>$ \hyperlink{a00322_acb154bb4d24a45abf6e5437f1a981055}{fwd\_\-piter}
\begin{DoxyCompactList}\small\item\em Forward \hyperlink{a00345}{Site\_\-Iterator} associated type. \item\end{DoxyCompactList}\item 
typedef \hyperlink{a00323}{fwd\_\-piter} \hyperlink{a00322_ad8bffc9de433ce0c898db207ca1b6989}{piter}
\begin{DoxyCompactList}\small\item\em \hyperlink{a00345}{Site\_\-Iterator} associated type. \item\end{DoxyCompactList}\item 
typedef S::psite \hyperlink{a00322_aa917acecef526642f7cd7fcf78dfcb26}{psite}
\begin{DoxyCompactList}\small\item\em Psite associated type. \item\end{DoxyCompactList}\end{DoxyCompactItemize}
\subsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
const F \& \hyperlink{a00322_a57cdf06cfd65d294e6cd7f1fef7a6942}{function} () const 
\begin{DoxyCompactList}\small\item\em Return the transformation function. \item\end{DoxyCompactList}\item 
bool \hyperlink{a00322_a0f9edb3ad2ad4cbec1ee46a0e900b41a}{has} (const \hyperlink{a00322_aa917acecef526642f7cd7fcf78dfcb26}{psite} \&p) const 
\begin{DoxyCompactList}\small\item\em Test if {\ttfamily p} belongs to the subset. \item\end{DoxyCompactList}\item 
bool \hyperlink{a00322_a42337b42041801eb858ca883e60c8e48}{is\_\-valid} () const 
\begin{DoxyCompactList}\small\item\em Test if this site set is valid. \item\end{DoxyCompactList}\item 
std::size\_\-t \hyperlink{a00322_a832d06acb5da88e7627ccb4935fa70bd}{memory\_\-size} () const 
\begin{DoxyCompactList}\small\item\em Return the size of this site set in memory. \item\end{DoxyCompactList}\item 
\hyperlink{a00322_a2b3d1cf7309dc70449d68b5fe846b752}{p\_\-transformed} ()
\begin{DoxyCompactList}\small\item\em Constructor without argument. \item\end{DoxyCompactList}\item 
\hyperlink{a00322_afed5d10dc867e43641630652528afdeb}{p\_\-transformed} (const S \&s, const F \&f)
\begin{DoxyCompactList}\small\item\em Constructor with a site set {\ttfamily s} and a predicate {\ttfamily f}. \item\end{DoxyCompactList}\item 
const S \& \hyperlink{a00322_a60513392a34579d255023f34d4e3ec5a}{primary\_\-set} () const 
\begin{DoxyCompactList}\small\item\em Return the primary set. \item\end{DoxyCompactList}\end{DoxyCompactItemize}


\subsection{Detailed Description}
\subsubsection*{template$<$typename S, typename F$>$ class mln::p\_\-transformed$<$ S, F $>$}

\hyperlink{a00343}{Site} set transformed through a function. Parameter {\ttfamily S} is a site set type; parameter F is a function from site to site. 

Definition at line 82 of file p\_\-transformed.hh.



\subsection{Member Typedef Documentation}
\hypertarget{a00322_a1e3b63f654a03c0dee12dffb36565acf}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!bkd\_\-piter@{bkd\_\-piter}}
\index{bkd\_\-piter@{bkd\_\-piter}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{bkd\_\-piter}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S, typename F$>$ typedef {\bf p\_\-transformed\_\-piter}$<$typename S ::{\bf bkd\_\-piter}, S, F$>$ {\bf mln::p\_\-transformed}$<$ S, F $>$::{\bf bkd\_\-piter}}}
\label{de/de9/a00322_a1e3b63f654a03c0dee12dffb36565acf}


Backward \hyperlink{a00345}{Site\_\-Iterator} associated type. 



Definition at line 101 of file p\_\-transformed.hh.

\hypertarget{a00322_abda26d10c96546573ffdc9cad5723b5d}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!element@{element}}
\index{element@{element}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{element}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S, typename F$>$ typedef S ::{\bf element} {\bf mln::p\_\-transformed}$<$ S, F $>$::{\bf element}}}
\label{de/de9/a00322_abda26d10c96546573ffdc9cad5723b5d}


Element associated type. 



Definition at line 91 of file p\_\-transformed.hh.

\hypertarget{a00322_acb154bb4d24a45abf6e5437f1a981055}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!fwd\_\-piter@{fwd\_\-piter}}
\index{fwd\_\-piter@{fwd\_\-piter}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{fwd\_\-piter}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S, typename F$>$ typedef {\bf p\_\-transformed\_\-piter}$<$typename S ::{\bf fwd\_\-piter}, S, F$>$ {\bf mln::p\_\-transformed}$<$ S, F $>$::{\bf fwd\_\-piter}}}
\label{de/de9/a00322_acb154bb4d24a45abf6e5437f1a981055}


Forward \hyperlink{a00345}{Site\_\-Iterator} associated type. 



Definition at line 98 of file p\_\-transformed.hh.

\hypertarget{a00322_ad8bffc9de433ce0c898db207ca1b6989}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!piter@{piter}}
\index{piter@{piter}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{piter}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S, typename F$>$ typedef {\bf fwd\_\-piter} {\bf mln::p\_\-transformed}$<$ S, F $>$::{\bf piter}}}
\label{de/de9/a00322_ad8bffc9de433ce0c898db207ca1b6989}


\hyperlink{a00345}{Site\_\-Iterator} associated type. 



Definition at line 104 of file p\_\-transformed.hh.

\hypertarget{a00322_aa917acecef526642f7cd7fcf78dfcb26}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!psite@{psite}}
\index{psite@{psite}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{psite}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S, typename F$>$ typedef S ::{\bf psite} {\bf mln::p\_\-transformed}$<$ S, F $>$::{\bf psite}}}
\label{de/de9/a00322_aa917acecef526642f7cd7fcf78dfcb26}


Psite associated type. 



Definition at line 95 of file p\_\-transformed.hh.



\subsection{Constructor \& Destructor Documentation}
\hypertarget{a00322_afed5d10dc867e43641630652528afdeb}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!p\_\-transformed@{p\_\-transformed}}
\index{p\_\-transformed@{p\_\-transformed}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{p\_\-transformed}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S , typename F $>$ {\bf mln::p\_\-transformed}$<$ S, F $>$::{\bf p\_\-transformed} (
\begin{DoxyParamCaption}
\item[{const S \&}]{ s, }
\item[{const F \&}]{ f}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{de/de9/a00322_afed5d10dc867e43641630652528afdeb}


Constructor with a site set {\ttfamily s} and a predicate {\ttfamily f}. 



Definition at line 163 of file p\_\-transformed.hh.

\hypertarget{a00322_a2b3d1cf7309dc70449d68b5fe846b752}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!p\_\-transformed@{p\_\-transformed}}
\index{p\_\-transformed@{p\_\-transformed}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{p\_\-transformed}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S , typename F $>$ {\bf mln::p\_\-transformed}$<$ S, F $>$::{\bf p\_\-transformed} (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{de/de9/a00322_a2b3d1cf7309dc70449d68b5fe846b752}


Constructor without argument. 



Definition at line 157 of file p\_\-transformed.hh.



\subsection{Member Function Documentation}
\hypertarget{a00322_a57cdf06cfd65d294e6cd7f1fef7a6942}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!function@{function}}
\index{function@{function}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{function}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S , typename F $>$ const F \& {\bf mln::p\_\-transformed}$<$ S, F $>$::function (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{de/de9/a00322_a57cdf06cfd65d294e6cd7f1fef7a6942}


Return the transformation function. 



Definition at line 206 of file p\_\-transformed.hh.

\hypertarget{a00322_a0f9edb3ad2ad4cbec1ee46a0e900b41a}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!has@{has}}
\index{has@{has}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{has}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S , typename F $>$ bool {\bf mln::p\_\-transformed}$<$ S, F $>$::has (
\begin{DoxyParamCaption}
\item[{const {\bf psite} \&}]{ p}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{de/de9/a00322_a0f9edb3ad2ad4cbec1ee46a0e900b41a}


Test if {\ttfamily p} belongs to the subset. 



Definition at line 172 of file p\_\-transformed.hh.

\hypertarget{a00322_a42337b42041801eb858ca883e60c8e48}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!is\_\-valid@{is\_\-valid}}
\index{is\_\-valid@{is\_\-valid}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{is\_\-valid}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S , typename F $>$ bool {\bf mln::p\_\-transformed}$<$ S, F $>$::is\_\-valid (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{de/de9/a00322_a42337b42041801eb858ca883e60c8e48}


Test if this site set is valid. 



Definition at line 182 of file p\_\-transformed.hh.

\hypertarget{a00322_a832d06acb5da88e7627ccb4935fa70bd}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!memory\_\-size@{memory\_\-size}}
\index{memory\_\-size@{memory\_\-size}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{memory\_\-size}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S , typename F $>$ std::size\_\-t {\bf mln::p\_\-transformed}$<$ S, F $>$::memory\_\-size (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{de/de9/a00322_a832d06acb5da88e7627ccb4935fa70bd}


Return the size of this site set in memory. 



Definition at line 190 of file p\_\-transformed.hh.

\hypertarget{a00322_a60513392a34579d255023f34d4e3ec5a}{
\index{mln::p\_\-transformed@{mln::p\_\-transformed}!primary\_\-set@{primary\_\-set}}
\index{primary\_\-set@{primary\_\-set}!mln::p_transformed@{mln::p\_\-transformed}}
\subsubsection[{primary\_\-set}]{\setlength{\rightskip}{0pt plus 5cm}template$<$typename S , typename F $>$ const S \& {\bf mln::p\_\-transformed}$<$ S, F $>$::primary\_\-set (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{de/de9/a00322_a60513392a34579d255023f34d4e3ec5a}


Return the primary set. 



Definition at line 198 of file p\_\-transformed.hh.



Referenced by mln::p\_\-transformed\_\-piter$<$ Pi, S, F $>$::change\_\-target().

