Block Chain Transactions, Commits multiple parts version

[iotcloud.git] / version2 / backup / doc / iotcloud.aux

diff --git a/version2/backup/doc/iotcloud.aux b/version2/backup/doc/iotcloud.aux
new file mode 100644 (file)
index 0000000..134fcf3
--- /dev/null
+++ b/version2/backup/doc/iotcloud.aux
@@ -0,0 +1,18 @@
+\relax 
+\@writefile{toc}{\contentsline {section}{\numberline {1}\textbf  {Introduction}}{1}}
+\@writefile{toc}{\contentsline {section}{\numberline {2}Approach}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Keys}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Entry layout}{1}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Live status}{3}}
+\@writefile{toc}{\contentsline {paragraph}{Validation procedure on client:}{4}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Resizing Queue}{4}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}The Arbitrator}{4}}
+\@writefile{toc}{\contentsline {section}{\numberline {3}Server Algorithm}{4}}
+\@writefile{toc}{\contentsline {section}{\numberline {4}\textbf  {Client}}{6}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}\textbf  {Client Notation Conventions}}{6}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}\textbf  {Client State}}{7}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.1}Constants}{7}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.2}Primitive Variables}{7}}
+\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.2.3}Sets and Lists}{7}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Helper Functions}{8}}
+\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Client Interfaces}{37}}