PhdThesisRealOne/LaTeXTemplates_masters-doctoral-thesis_v2/Chapters/Chapter1.aux
author Chengsong
Thu, 24 Mar 2022 20:52:34 +0000
changeset 465 2e7c7111c0be
parent 456 26a5e640cdd7
permissions -rw-r--r--
ha
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
456
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
     1
\relax 
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
     2
\providecommand\hyper@newdestlabel[2]{}
465
Chengsong
parents: 456
diff changeset
     3
\@writefile{toc}{\contentsline {chapter}{\numberline {1}POSIX Lexing With Bit-codes}{1}{chapter.14}}
456
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
     4
\@writefile{lof}{\addvspace {10\p@ }}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
     5
\@writefile{lot}{\addvspace {10\p@ }}
465
Chengsong
parents: 456
diff changeset
     6
\newlabel{Chapter1}{{1}{1}{POSIX Lexing With Bit-codes}{chapter.14}{}}
Chengsong
parents: 456
diff changeset
     7
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Introduction To Regexes}{1}{section.15}}
Chengsong
parents: 456
diff changeset
     8
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.1}Back References in Regex--Non-Regular part}{4}{subsection.16}}
Chengsong
parents: 456
diff changeset
     9
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Our Solution--Brzozowski Derivatives}{4}{section.17}}
Chengsong
parents: 456
diff changeset
    10
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Preliminaries about Lexing Using Brzozowski derivatives}{4}{section.18}}
Chengsong
parents: 456
diff changeset
    11
\newlabel{graph:*}{{1.1}{6}{Preliminaries about Lexing Using Brzozowski derivatives}{equation.19}{}}
Chengsong
parents: 456
diff changeset
    12
\newlabel{graph:2}{{1.3}{8}{Values and the Lexing Algorithm by Sulzmann and Lu}{equation.22}{}}
Chengsong
parents: 456
diff changeset
    13
\@writefile{toc}{\contentsline {section}{\numberline {1.4}Backgound}{14}{section.25}}
Chengsong
parents: 456
diff changeset
    14
\@writefile{toc}{\contentsline {section}{\numberline {1.5}Engineering and Academic Approaches to Deal with Catastrophic Backtracking}{15}{section.26}}
Chengsong
parents: 456
diff changeset
    15
\@writefile{toc}{\contentsline {subsection}{\numberline {1.5.1}DFA Approach}{15}{subsection.27}}
Chengsong
parents: 456
diff changeset
    16
\@writefile{toc}{\contentsline {subsection}{\numberline {1.5.2}NFA Approach}{15}{subsection.28}}
Chengsong
parents: 456
diff changeset
    17
\@writefile{toc}{\contentsline {section}{\numberline {1.6}Our Approach}{15}{section.29}}
Chengsong
parents: 456
diff changeset
    18
\@writefile{toc}{\contentsline {subsection}{\numberline {1.6.1}Existing Work}{15}{subsection.30}}
Chengsong
parents: 456
diff changeset
    19
\@writefile{toc}{\contentsline {section}{\numberline {1.7}What this Template Includes}{16}{section.31}}
Chengsong
parents: 456
diff changeset
    20
\@writefile{toc}{\contentsline {subsection}{\numberline {1.7.1}Folders}{16}{subsection.32}}
Chengsong
parents: 456
diff changeset
    21
\@writefile{toc}{\contentsline {subsection}{\numberline {1.7.2}Files}{16}{subsection.33}}
Chengsong
parents: 456
diff changeset
    22
\@writefile{toc}{\contentsline {section}{\numberline {1.8}Filling in Your Information in the \texttt  {\bfseries  main.tex} File}{17}{section.34}}
Chengsong
parents: 456
diff changeset
    23
\newlabel{FillingFile}{{1.8}{17}{Filling in Your Information in the \file {main.tex} File}{section.34}{}}
Chengsong
parents: 456
diff changeset
    24
\@writefile{toc}{\contentsline {section}{\numberline {1.9}The \texttt  {main.tex} File Explained}{17}{section.35}}
Chengsong
parents: 456
diff changeset
    25
\@writefile{toc}{\contentsline {section}{\numberline {1.10}Thesis Features and Conventions}{18}{section.36}}
Chengsong
parents: 456
diff changeset
    26
\newlabel{ThesisConventions}{{1.10}{18}{Thesis Features and Conventions}{section.36}{}}
Chengsong
parents: 456
diff changeset
    27
\@writefile{toc}{\contentsline {subsection}{\numberline {1.10.1}Printing Format}{19}{subsection.37}}
Chengsong
parents: 456
diff changeset
    28
\@writefile{toc}{\contentsline {subsection}{\numberline {1.10.2}Using US Letter Paper}{19}{subsection.38}}
Chengsong
parents: 456
diff changeset
    29
\@writefile{toc}{\contentsline {subsection}{\numberline {1.10.3}References}{19}{subsection.39}}
Chengsong
parents: 456
diff changeset
    30
\@writefile{lot}{\contentsline {table}{\numberline {1.1}{\ignorespaces The effects of treatments X and Y on the four groups studied.\relax }}{20}{table.caption.43}}
456
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    31
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
465
Chengsong
parents: 456
diff changeset
    32
\newlabel{tab:treatments}{{1.1}{20}{The effects of treatments X and Y on the four groups studied.\relax }{table.caption.43}{}}
Chengsong
parents: 456
diff changeset
    33
\@writefile{toc}{\contentsline {subsubsection}{A Note on bibtex}{20}{section*.41}}
Chengsong
parents: 456
diff changeset
    34
\@writefile{toc}{\contentsline {subsection}{\numberline {1.10.4}Tables}{20}{subsection.42}}
Chengsong
parents: 456
diff changeset
    35
\@writefile{toc}{\contentsline {subsection}{\numberline {1.10.5}Figures}{20}{subsection.44}}
Chengsong
parents: 456
diff changeset
    36
\@writefile{lof}{\contentsline {figure}{\numberline {1.1}{\ignorespaces An Electron}}{21}{figure.caption.45}}
Chengsong
parents: 456
diff changeset
    37
\newlabel{fig:Electron}{{1.1}{21}{An Electron}{figure.caption.45}{}}
Chengsong
parents: 456
diff changeset
    38
\@writefile{toc}{\contentsline {subsection}{\numberline {1.10.6}Typesetting mathematics}{22}{subsection.46}}
Chengsong
parents: 456
diff changeset
    39
\newlabel{eqn:Einstein}{{1.4}{22}{Typesetting mathematics}{equation.47}{}}
Chengsong
parents: 456
diff changeset
    40
\@writefile{toc}{\contentsline {section}{\numberline {1.11}Sectioning and Subsectioning}{22}{section.48}}
Chengsong
parents: 456
diff changeset
    41
\@writefile{toc}{\contentsline {section}{\numberline {1.12}In Closing}{22}{section.49}}
456
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    42
\@setckpt{Chapters/Chapter1}{
465
Chengsong
parents: 456
diff changeset
    43
\setcounter{page}{23}
Chengsong
parents: 456
diff changeset
    44
\setcounter{equation}{4}
456
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    45
\setcounter{enumi}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    46
\setcounter{enumii}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    47
\setcounter{enumiii}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    48
\setcounter{enumiv}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    49
\setcounter{footnote}{1}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    50
\setcounter{mpfootnote}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    51
\setcounter{part}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    52
\setcounter{chapter}{1}
465
Chengsong
parents: 456
diff changeset
    53
\setcounter{section}{12}
456
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    54
\setcounter{subsection}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    55
\setcounter{subsubsection}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    56
\setcounter{paragraph}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    57
\setcounter{subparagraph}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    58
\setcounter{figure}{1}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    59
\setcounter{table}{1}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    60
\setcounter{LT@tables}{3}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    61
\setcounter{LT@chunks}{1}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    62
\setcounter{ContinuedFloat}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    63
\setcounter{Item}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    64
\setcounter{Hfootnote}{1}
465
Chengsong
parents: 456
diff changeset
    65
\setcounter{bookmark@seq@number}{29}
456
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    66
\setcounter{tabx@nest}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    67
\setcounter{listtotal}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    68
\setcounter{listcount}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    69
\setcounter{liststart}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    70
\setcounter{liststop}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    71
\setcounter{citecount}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    72
\setcounter{citetotal}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    73
\setcounter{multicitecount}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    74
\setcounter{multicitetotal}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    75
\setcounter{instcount}{6}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    76
\setcounter{maxnames}{3}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    77
\setcounter{minnames}{1}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    78
\setcounter{maxitems}{3}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    79
\setcounter{minitems}{1}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    80
\setcounter{citecounter}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    81
\setcounter{savedcitecounter}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    82
\setcounter{uniquelist}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    83
\setcounter{uniquename}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    84
\setcounter{refsection}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    85
\setcounter{refsegment}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    86
\setcounter{maxextratitle}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    87
\setcounter{maxextratitleyear}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    88
\setcounter{maxextradate}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    89
\setcounter{maxextraalpha}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    90
\setcounter{abbrvpenalty}{50}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    91
\setcounter{highnamepenalty}{50}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    92
\setcounter{lownamepenalty}{25}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    93
\setcounter{maxparens}{3}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    94
\setcounter{parenlevel}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    95
\setcounter{mincomprange}{10}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    96
\setcounter{maxcomprange}{100000}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    97
\setcounter{mincompwidth}{1}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    98
\setcounter{afterword}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
    99
\setcounter{savedafterword}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   100
\setcounter{annotator}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   101
\setcounter{savedannotator}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   102
\setcounter{author}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   103
\setcounter{savedauthor}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   104
\setcounter{bookauthor}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   105
\setcounter{savedbookauthor}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   106
\setcounter{commentator}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   107
\setcounter{savedcommentator}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   108
\setcounter{editor}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   109
\setcounter{savededitor}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   110
\setcounter{editora}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   111
\setcounter{savededitora}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   112
\setcounter{editorb}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   113
\setcounter{savededitorb}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   114
\setcounter{editorc}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   115
\setcounter{savededitorc}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   116
\setcounter{foreword}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   117
\setcounter{savedforeword}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   118
\setcounter{holder}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   119
\setcounter{savedholder}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   120
\setcounter{introduction}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   121
\setcounter{savedintroduction}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   122
\setcounter{namea}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   123
\setcounter{savednamea}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   124
\setcounter{nameb}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   125
\setcounter{savednameb}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   126
\setcounter{namec}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   127
\setcounter{savednamec}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   128
\setcounter{translator}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   129
\setcounter{savedtranslator}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   130
\setcounter{shortauthor}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   131
\setcounter{savedshortauthor}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   132
\setcounter{shorteditor}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   133
\setcounter{savedshorteditor}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   134
\setcounter{labelname}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   135
\setcounter{savedlabelname}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   136
\setcounter{institution}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   137
\setcounter{savedinstitution}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   138
\setcounter{lista}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   139
\setcounter{savedlista}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   140
\setcounter{listb}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   141
\setcounter{savedlistb}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   142
\setcounter{listc}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   143
\setcounter{savedlistc}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   144
\setcounter{listd}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   145
\setcounter{savedlistd}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   146
\setcounter{liste}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   147
\setcounter{savedliste}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   148
\setcounter{listf}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   149
\setcounter{savedlistf}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   150
\setcounter{location}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   151
\setcounter{savedlocation}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   152
\setcounter{organization}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   153
\setcounter{savedorganization}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   154
\setcounter{origlocation}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   155
\setcounter{savedoriglocation}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   156
\setcounter{origpublisher}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   157
\setcounter{savedorigpublisher}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   158
\setcounter{publisher}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   159
\setcounter{savedpublisher}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   160
\setcounter{language}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   161
\setcounter{savedlanguage}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   162
\setcounter{origlanguage}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   163
\setcounter{savedoriglanguage}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   164
\setcounter{pageref}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   165
\setcounter{savedpageref}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   166
\setcounter{textcitecount}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   167
\setcounter{textcitetotal}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   168
\setcounter{textcitemaxnames}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   169
\setcounter{biburlnumpenalty}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   170
\setcounter{biburlucpenalty}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   171
\setcounter{biburllcpenalty}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   172
\setcounter{smartand}{1}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   173
\setcounter{bbx:relatedcount}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   174
\setcounter{bbx:relatedtotal}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   175
\setcounter{parentequation}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   176
\setcounter{ALG@line}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   177
\setcounter{ALG@rem}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   178
\setcounter{ALG@nested}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   179
\setcounter{ALG@Lnr}{2}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   180
\setcounter{ALG@blocknr}{10}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   181
\setcounter{ALG@storecount}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   182
\setcounter{ALG@tmpcounter}{0}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   183
\setcounter{section@level}{1}
26a5e640cdd7 realPhdThesis
Chengsong
parents:
diff changeset
   184
}