tabbing
[iotcloud.git] / version2 / backup / doc / iotcloud.aux
1 \relax 
2 \@writefile{toc}{\contentsline {section}{\numberline {1}\textbf  {Introduction}}{1}}
3 \@writefile{toc}{\contentsline {section}{\numberline {2}Approach}{1}}
4 \@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Keys}{1}}
5 \@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Entry layout}{1}}
6 \@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Live status}{3}}
7 \@writefile{toc}{\contentsline {paragraph}{Validation procedure on client:}{4}}
8 \@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Resizing Queue}{4}}
9 \@writefile{toc}{\contentsline {subsection}{\numberline {2.5}The Arbitrator}{4}}
10 \@writefile{toc}{\contentsline {section}{\numberline {3}Server Algorithm}{4}}
11 \@writefile{toc}{\contentsline {section}{\numberline {4}\textbf  {Client}}{6}}
12 \@writefile{toc}{\contentsline {subsection}{\numberline {4.1}\textbf  {Client Notation Conventions}}{6}}
13 \@writefile{toc}{\contentsline {subsection}{\numberline {4.2}\textbf  {Client State}}{7}}
14 \@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1}Constants}{7}}
15 \@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2}Primitive Variables}{7}}
16 \@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.3}Sets and Lists}{7}}
17 \@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Helper Functions}{8}}
18 \@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Client Interfaces}{37}}