File tree Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Expand file tree Collapse file tree 1 file changed +7
-7
lines changed Original file line number Diff line number Diff line change 1906
1906
with the same initial state
1907
1907
as all other default-constructed engines
1908
1908
of type \tcode {E}.
1909
- & \bigoh {$ \text {size of state}$ }
1909
+ & \bigoh {\text {size of state}}
1910
1910
\\ \rowsep
1911
1911
\tcode {E(x)}
1912
1912
&
1913
1913
& Creates an engine
1914
1914
that compares equal to \tcode {x}.
1915
- & \bigoh {$ \text {size of state}$ }
1915
+ & \bigoh {\text {size of state}}
1916
1916
\\ \rowsep
1917
1917
\tcode {E(s)}%
1918
1918
&
1919
1919
& Creates an engine
1920
1920
with initial state determined by \tcode {s}.
1921
- & \bigoh {$ \text {size of state}$ }
1921
+ & \bigoh {\text {size of state}}
1922
1922
\\ \rowsep
1923
1923
\tcode {E(q)}%
1924
1924
\begin {footnote }
1993
1993
returns \tcode {true}
1994
1994
if $ S_x = S_y$ ;
1995
1995
else returns \tcode {false}.
1996
- & \bigoh {$ \text {size of state}$ }
1996
+ & \bigoh {\text {size of state}}
1997
1997
\\ \rowsep
1998
1998
\tcode {x != y}%
1999
1999
& \tcode {bool}
2000
2000
& \tcode {!(x == y)}.
2001
- & \bigoh {$ \text {size of state}$ }
2001
+ & \bigoh {\text {size of state}}
2002
2002
\\ \rowsep
2003
2003
\tcode {os << x}%
2004
2004
& reference to the type of \tcode {os}
2013
2013
by one or more space characters.
2014
2014
2015
2015
\ensures The \tcode {os.}\textit {fmtflags } and fill character are unchanged.
2016
- & \bigoh {$ \text {size of state}$ }
2016
+ & \bigoh {\text {size of state}}
2017
2017
\\ \rowsep
2018
2018
\tcode {is >> v}%
2019
2019
& reference to the type of \tcode {is}
2043
2043
were respectively the same as those of \tcode {is}.
2044
2044
2045
2045
\ensures The \tcode {is.}\textit {fmtflags } are unchanged.
2046
- & \bigoh {$ \text {size of state}$ }
2046
+ & \bigoh {\text {size of state}}
2047
2047
\\
2048
2048
\end {libreqtab4d }
2049
2049
You can’t perform that action at this time.
0 commit comments