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 1832
1832
with the same initial state
1833
1833
as all other default-constructed engines
1834
1834
of type \tcode {E}.
1835
- & \bigoh {$ \text {size of state}$ }
1835
+ & \bigoh {\text {size of state}}
1836
1836
\\ \rowsep
1837
1837
\tcode {E(x)}
1838
1838
&
1839
1839
& Creates an engine
1840
1840
that compares equal to \tcode {x}.
1841
- & \bigoh {$ \text {size of state}$ }
1841
+ & \bigoh {\text {size of state}}
1842
1842
\\ \rowsep
1843
1843
\tcode {E(s)}%
1844
1844
&
1845
1845
& Creates an engine
1846
1846
with initial state determined by \tcode {s}.
1847
- & \bigoh {$ \text {size of state}$ }
1847
+ & \bigoh {\text {size of state}}
1848
1848
\\ \rowsep
1849
1849
\tcode {E(q)}%
1850
1850
\begin {footnote }
1919
1919
returns \tcode {true}
1920
1920
if $ S_x = S_y$ ;
1921
1921
else returns \tcode {false}.
1922
- & \bigoh {$ \text {size of state}$ }
1922
+ & \bigoh {\text {size of state}}
1923
1923
\\ \rowsep
1924
1924
\tcode {x != y}%
1925
1925
& \tcode {bool}
1926
1926
& \tcode {!(x == y)}.
1927
- & \bigoh {$ \text {size of state}$ }
1927
+ & \bigoh {\text {size of state}}
1928
1928
\\ \rowsep
1929
1929
\tcode {os << x}%
1930
1930
& reference to the type of \tcode {os}
1939
1939
by one or more space characters.
1940
1940
1941
1941
\ensures The \tcode {os.}\textit {fmtflags } and fill character are unchanged.
1942
- & \bigoh {$ \text {size of state}$ }
1942
+ & \bigoh {\text {size of state}}
1943
1943
\\ \rowsep
1944
1944
\tcode {is >> v}%
1945
1945
& reference to the type of \tcode {is}
1969
1969
were respectively the same as those of \tcode {is}.
1970
1970
1971
1971
\ensures The \tcode {is.}\textit {fmtflags } are unchanged.
1972
- & \bigoh {$ \text {size of state}$ }
1972
+ & \bigoh {\text {size of state}}
1973
1973
\\
1974
1974
\end {libreqtab4d }
1975
1975
You can’t perform that action at this time.
0 commit comments