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 1848
1848
with the same initial state
1849
1849
as all other default-constructed engines
1850
1850
of type \tcode {E}.
1851
- & \bigoh {$ \text {size of state}$ }
1851
+ & \bigoh {\text {size of state}}
1852
1852
\\ \rowsep
1853
1853
\tcode {E(x)}
1854
1854
&
1855
1855
& Creates an engine
1856
1856
that compares equal to \tcode {x}.
1857
- & \bigoh {$ \text {size of state}$ }
1857
+ & \bigoh {\text {size of state}}
1858
1858
\\ \rowsep
1859
1859
\tcode {E(s)}%
1860
1860
&
1861
1861
& Creates an engine
1862
1862
with initial state determined by \tcode {s}.
1863
- & \bigoh {$ \text {size of state}$ }
1863
+ & \bigoh {\text {size of state}}
1864
1864
\\ \rowsep
1865
1865
\tcode {E(q)}%
1866
1866
\begin {footnote }
1935
1935
returns \tcode {true}
1936
1936
if $ S_x = S_y$ ;
1937
1937
else returns \tcode {false}.
1938
- & \bigoh {$ \text {size of state}$ }
1938
+ & \bigoh {\text {size of state}}
1939
1939
\\ \rowsep
1940
1940
\tcode {x != y}%
1941
1941
& \tcode {bool}
1942
1942
& \tcode {!(x == y)}.
1943
- & \bigoh {$ \text {size of state}$ }
1943
+ & \bigoh {\text {size of state}}
1944
1944
\\ \rowsep
1945
1945
\tcode {os << x}%
1946
1946
& reference to the type of \tcode {os}
1955
1955
by one or more space characters.
1956
1956
1957
1957
\ensures The \tcode {os.}\textit {fmtflags } and fill character are unchanged.
1958
- & \bigoh {$ \text {size of state}$ }
1958
+ & \bigoh {\text {size of state}}
1959
1959
\\ \rowsep
1960
1960
\tcode {is >> v}%
1961
1961
& reference to the type of \tcode {is}
1985
1985
were respectively the same as those of \tcode {is}.
1986
1986
1987
1987
\ensures The \tcode {is.}\textit {fmtflags } are unchanged.
1988
- & \bigoh {$ \text {size of state}$ }
1988
+ & \bigoh {\text {size of state}}
1989
1989
\\
1990
1990
\end {libreqtab4d }
1991
1991
You can’t perform that action at this time.
0 commit comments