\hypertarget{a00427}{
\section{mln::value::label$<$ n $>$ Struct Template Reference}
\label{da/db6/a00427}\index{mln::value::label@{mln::value::label}}
}


Label value class.  




{\ttfamily \#include $<$label.hh$>$}



Inherits mln::value::Symbolic$<$ label$<$ n $>$ $>$, and mln::value::internal::value\_\-like\_\-$<$ unsigned,internal::encoding\_\-unsigned\_\-$<$ n $>$::ret,int,label$<$ n $>$ $>$.

\subsection*{Public Types}
\begin{DoxyCompactItemize}
\item 
typedef internal::encoding\_\-unsigned\_\-$<$ n $>$::ret \hyperlink{a00427_a8e6043d6ad173c16e1228a516ddecea0}{enc}
\begin{DoxyCompactList}\small\item\em Encoding associated type. \item\end{DoxyCompactList}\end{DoxyCompactItemize}
\subsection*{Public Member Functions}
\begin{DoxyCompactItemize}
\item 
\hyperlink{a00427_a7780658bca47f6aa4dfed95dc871eb49}{label} ()
\begin{DoxyCompactList}\small\item\em Constructor without argument. \item\end{DoxyCompactList}\item 
\hyperlink{a00427_afe099a028c20f4b8189b0d2f3f75e886}{label} (unsigned i)
\begin{DoxyCompactList}\small\item\em Constructor from an (unsigned) integer. \item\end{DoxyCompactList}\item 
\hyperlink{a00427_af852a570ea72a690521faa5df1007aed}{label} (const \hyperlink{a00280}{literal::zero\_\-t} \&v)
\begin{DoxyCompactList}\small\item\em Constructor from \hyperlink{a02645_a64a4a09f49ce8641b142451ee2381b1f}{literal::zero}. \item\end{DoxyCompactList}\item 
\hyperlink{a00427}{label}$<$ n $>$ \hyperlink{a00427_a0d2573b40776cc999b50adb02d04fb8d}{next} () const 
\begin{DoxyCompactList}\small\item\em Return the next value. \item\end{DoxyCompactList}\item 
\hyperlink{a00427_a58786a0e1cee99bc129e7d17482b2918}{operator unsigned} () const 
\begin{DoxyCompactList}\small\item\em Conversion to an unsigned integer. \item\end{DoxyCompactList}\item 
\hyperlink{a00427}{label}$<$ n $>$ \& \hyperlink{a00427_a463d6d4da4b24ae05f9645932263686b}{operator++} ()
\begin{DoxyCompactList}\small\item\em Self increment. \item\end{DoxyCompactList}\item 
\hyperlink{a00427}{label}$<$ n $>$ \& \hyperlink{a00427_a257385103f6ae17bc9efe5ad925b2f19}{operator-\/-\/} ()
\begin{DoxyCompactList}\small\item\em Self decrement. \item\end{DoxyCompactList}\item 
\hyperlink{a00427}{label}$<$ n $>$ \& \hyperlink{a00427_a0d019a73daca786db5280c21091de69e}{operator=} (unsigned i)
\begin{DoxyCompactList}\small\item\em Assignment from an (unsigned) integer. \item\end{DoxyCompactList}\item 
\hyperlink{a00427}{label}$<$ n $>$ \& \hyperlink{a00427_a57bb5953ca93d839ea1957e3219a33ff}{operator=} (const \hyperlink{a00280}{literal::zero\_\-t} \&v)
\begin{DoxyCompactList}\small\item\em Assignment from \hyperlink{a02645_a64a4a09f49ce8641b142451ee2381b1f}{literal::zero}. \item\end{DoxyCompactList}\item 
\hyperlink{a00427}{label}$<$ n $>$ \hyperlink{a00427_aafe8bc4036af4e7ebad40ac8450828a0}{prev} () const 
\begin{DoxyCompactList}\small\item\em Return the previous value. \item\end{DoxyCompactList}\end{DoxyCompactItemize}


\subsection{Detailed Description}
\subsubsection*{template$<$unsigned n$>$ struct mln::value::label$<$ n $>$}

Label value class. The parameter {\ttfamily n} is the number of encoding bits. 

Definition at line 140 of file label.hh.



\subsection{Member Typedef Documentation}
\hypertarget{a00427_a8e6043d6ad173c16e1228a516ddecea0}{
\index{mln::value::label@{mln::value::label}!enc@{enc}}
\index{enc@{enc}!mln::value::label@{mln::value::label}}
\subsubsection[{enc}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ typedef internal::encoding\_\-unsigned\_\-$<$n$>$::ret {\bf mln::value::label}$<$ n $>$::{\bf enc}}}
\label{da/db6/a00427_a8e6043d6ad173c16e1228a516ddecea0}


Encoding associated type. 



Definition at line 150 of file label.hh.



\subsection{Constructor \& Destructor Documentation}
\hypertarget{a00427_a7780658bca47f6aa4dfed95dc871eb49}{
\index{mln::value::label@{mln::value::label}!label@{label}}
\index{label@{label}!mln::value::label@{mln::value::label}}
\subsubsection[{label}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf mln::value::label}$<$ n $>$::{\bf label} (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_a7780658bca47f6aa4dfed95dc871eb49}


Constructor without argument. 



Definition at line 271 of file label.hh.

\hypertarget{a00427_afe099a028c20f4b8189b0d2f3f75e886}{
\index{mln::value::label@{mln::value::label}!label@{label}}
\index{label@{label}!mln::value::label@{mln::value::label}}
\subsubsection[{label}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf mln::value::label}$<$ n $>$::{\bf label} (
\begin{DoxyParamCaption}
\item[{unsigned}]{ i}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_afe099a028c20f4b8189b0d2f3f75e886}


Constructor from an (unsigned) integer. 



Definition at line 277 of file label.hh.

\hypertarget{a00427_af852a570ea72a690521faa5df1007aed}{
\index{mln::value::label@{mln::value::label}!label@{label}}
\index{label@{label}!mln::value::label@{mln::value::label}}
\subsubsection[{label}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf mln::value::label}$<$ n $>$::{\bf label} (
\begin{DoxyParamCaption}
\item[{const {\bf literal::zero\_\-t} \&}]{ v}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_af852a570ea72a690521faa5df1007aed}


Constructor from \hyperlink{a02645_a64a4a09f49ce8641b142451ee2381b1f}{literal::zero}. 



Definition at line 284 of file label.hh.



\subsection{Member Function Documentation}
\hypertarget{a00427_a0d2573b40776cc999b50adb02d04fb8d}{
\index{mln::value::label@{mln::value::label}!next@{next}}
\index{next@{next}!mln::value::label@{mln::value::label}}
\subsubsection[{next}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf label}$<$ n $>$ {\bf mln::value::label}$<$ n $>$::next (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_a0d2573b40776cc999b50adb02d04fb8d}


Return the next value. 



Definition at line 338 of file label.hh.

\hypertarget{a00427_a58786a0e1cee99bc129e7d17482b2918}{
\index{mln::value::label@{mln::value::label}!operator unsigned@{operator unsigned}}
\index{operator unsigned@{operator unsigned}!mln::value::label@{mln::value::label}}
\subsubsection[{operator unsigned}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf mln::value::label}$<$ n $>$::operator unsigned (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_a58786a0e1cee99bc129e7d17482b2918}


Conversion to an unsigned integer. 



Definition at line 291 of file label.hh.

\hypertarget{a00427_a463d6d4da4b24ae05f9645932263686b}{
\index{mln::value::label@{mln::value::label}!operator++@{operator++}}
\index{operator++@{operator++}!mln::value::label@{mln::value::label}}
\subsubsection[{operator++}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf label}$<$ n $>$ \& {\bf mln::value::label}$<$ n $>$::operator++ (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_a463d6d4da4b24ae05f9645932263686b}


Self increment. 



Definition at line 318 of file label.hh.

\hypertarget{a00427_a257385103f6ae17bc9efe5ad925b2f19}{
\index{mln::value::label@{mln::value::label}!operator-\/-\/@{operator-\/-\/}}
\index{operator-\/-\/@{operator-\/-\/}!mln::value::label@{mln::value::label}}
\subsubsection[{operator-\/-\/}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf label}$<$ n $>$ \& {\bf mln::value::label}$<$ n $>$::operator-\/-\/ (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_a257385103f6ae17bc9efe5ad925b2f19}


Self decrement. 



Definition at line 328 of file label.hh.

\hypertarget{a00427_a0d019a73daca786db5280c21091de69e}{
\index{mln::value::label@{mln::value::label}!operator=@{operator=}}
\index{operator=@{operator=}!mln::value::label@{mln::value::label}}
\subsubsection[{operator=}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf label}$<$ n $>$ \& {\bf mln::value::label}$<$ n $>$::operator= (
\begin{DoxyParamCaption}
\item[{unsigned}]{ i}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_a0d019a73daca786db5280c21091de69e}


Assignment from an (unsigned) integer. 



Definition at line 299 of file label.hh.

\hypertarget{a00427_a57bb5953ca93d839ea1957e3219a33ff}{
\index{mln::value::label@{mln::value::label}!operator=@{operator=}}
\index{operator=@{operator=}!mln::value::label@{mln::value::label}}
\subsubsection[{operator=}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf label}$<$ n $>$ \& {\bf mln::value::label}$<$ n $>$::operator= (
\begin{DoxyParamCaption}
\item[{const {\bf literal::zero\_\-t} \&}]{ v}
\end{DoxyParamCaption}
)\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_a57bb5953ca93d839ea1957e3219a33ff}


Assignment from \hyperlink{a02645_a64a4a09f49ce8641b142451ee2381b1f}{literal::zero}. 



Definition at line 309 of file label.hh.

\hypertarget{a00427_aafe8bc4036af4e7ebad40ac8450828a0}{
\index{mln::value::label@{mln::value::label}!prev@{prev}}
\index{prev@{prev}!mln::value::label@{mln::value::label}}
\subsubsection[{prev}]{\setlength{\rightskip}{0pt plus 5cm}template$<$unsigned n$>$ {\bf label}$<$ n $>$ {\bf mln::value::label}$<$ n $>$::prev (
\begin{DoxyParamCaption}
{}
\end{DoxyParamCaption}
) const\hspace{0.3cm}{\ttfamily  \mbox{[}inline\mbox{]}}}}
\label{da/db6/a00427_aafe8bc4036af4e7ebad40ac8450828a0}


Return the previous value. 



Definition at line 346 of file label.hh.

