this is for holding javascript data
Brandon Holt deleted file set_spec.tex
about 9 years ago
Commit id: f0074ba03ccf63145d572af5d929af9541b59344
deletions | additions
diff --git a/set_spec.tex b/set_spec.tex
deleted file mode 100644
index 38548ba..0000000
--- a/set_spec.tex
+++ /dev/null
...
\begin{tabular}{lll}
\textbf{method:} & \textbf{commutes with:} & \textbf{when:} \\
\hline
\texttt{add(x): void} & \texttt{add(y)} & $\forall x, y$ \\
\texttt{remove(x): void} & \texttt{remove(y)} & $\forall x, y$ \\
& \texttt{add(y)} & $x \ne y$ \\
\texttt{size(): int} & \texttt{add(x)} & $x \in Set$ \\
& \texttt{remove(x)} & $x \notin Set$ \\
\texttt{contains(x): bool} & \texttt{add(y)} & $x \ne y \lor y \in Set$ \\
& \texttt{remove(y)} & $x \ne y \lor y \notin Set$ \\
& \texttt{size()} & $\forall x$ \\
\hline
\end{tabular}
Commutativity Specification for Set.
