From 89ebdefad647d79dac077e4b53a1b1349b52bc88 Mon Sep 17 00:00:00 2001 From: Aria Shrimpton Date: Wed, 27 Mar 2024 11:04:10 +0000 Subject: update library --- thesis/parts/implementation.tex | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/thesis/parts/implementation.tex b/thesis/parts/implementation.tex index 706dbd5..7af691e 100644 --- a/thesis/parts/implementation.tex +++ b/thesis/parts/implementation.tex @@ -19,8 +19,6 @@ Table \ref{table:library} shows the library of container types we used. Most come from the Rust standard library, with the exceptions of \code{SortedVec} and \code{SortedUniqueVec}, which use \code{Vec} internally. The library source can be found in \code{src/crates/library}. -\todo{This might be expanded} - \begin{table}[h] \centering \begin{tabular}{|c|c|c|} @@ -28,8 +26,11 @@ The library source can be found in \code{src/crates/library}. \hline \code{LinkedList} & Doubly-linked list \\ \code{Vec} & Contiguous growable array \\ + \code{VecSet} & Vec with no duplicates \\ + \code{VecMap} & A Vec of (K, V) tuples, used as a Mapping \\ \code{SortedVec} & Vec kept in sorted order \\ - \code{SortedUniqueVec} & Vec kept in sorted order, with no duplicates \\ + \code{SortedVecSet} & Vec kept in sorted order, with no duplicates \\ + \code{VecMap} & A Vec of (K, V) tuples sorted by key, used as a Mapping \\ \code{HashMap} & Hash map with quadratic probing \\ \code{HashSet} & Hash map with empty values \\ \code{BTreeMap} & B-Tree\citep{bayer_organization_1970} map with linear search. \\ @@ -39,7 +40,7 @@ The library source can be found in \code{src/crates/library}. \label{table:library} \end{table} -We also added new syntax to the language to support defining properties that only make sense for mappings (\code{dictProperty}), however this was unused. +We also added new syntax to Primrose's domain-specific language to support defining properties that only make sense for mappings (\code{dictProperty}), however this was unused. %% Resiliency, etc While performing integration testing, we found and fixed several other issues with the existing code: -- cgit v1.2.3