this is for holding javascript data
Brandon Holt added set_spec.tex
about 9 years ago
Commit id: 1af52e380bb2a3b35c58e0db2abcac491aad20a4
deletions | additions
diff --git a/set_spec.tex b/set_spec.tex
new file mode 100644
index 0000000..c37aa7f
--- /dev/null
+++ b/set_spec.tex
...
\begin{tabular}{lll}
\textbf{method:} & \textbf{commutes with:} & \textbf{when:} \\
\hline
\texttt{add(x)} & \texttt{add(y)} & $\forall x, y$ \\
\texttt{remove(x)} & \texttt{remove(y)} & $\forall x, y$ \\
& \texttt{add(y)} & $x \ne y$ \\
\texttt{size()} & \texttt{add(x)} & $x \in Set$ \\
& \texttt{remove(x)} & $x \notin Set$ \\
\texttt{getall()} & \texttt{add(x)} & $x \in Set$ \\
& \texttt{remove(x)} & $x \notin Set$ \\
& \texttt{size()} & $always$ \\
\hline
\end{tabular}
\caption{\label{spec} Commutativity Specification for Set.}
