diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-09-27 21:10:47 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-09-27 21:10:47 +0000 |
| commit | 595751a1814cc9375318c9c158caf6426eeda791 (patch) | |
| tree | 91cd27f6f3de253cea4c8350307d0c8a0ee5383e /src/util/Makefile.am | |
| parent | 6e59b60947283d864877c2c2dc883e878913a2d8 (diff) | |
- This update adds DynamicArray<T>. This is a bare bones heap allocated array that dynamically can increase in size. This has functionality similar to vector<T>. The main difference is that it can be constructed in an ill-formed manner. This means that it can generalize CDList<T>.
- CDVector<T> has been added. This is intended to allow for context-dependent destructive updates, while the vector size increases are permanent. Behaviorally, this is most similar to vector< CDO<T> >. The differences between the two are: only one ContextObj is registered to the Context, backtracks are done in a lazy fashion, CDVector::push_back(val) sets the value of back() at context level 0 to val where vector<CDO<T>>::push_back(val) sets back() at the current context level to val and back() at context level 0 to the default constructor T().
Diffstat (limited to 'src/util/Makefile.am')
| -rw-r--r-- | src/util/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index e41c6effc..bac0064bf 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -34,7 +34,8 @@ libutil_la_SOURCES = \ sexpr.h \ stats.h \ stats.cpp \ - triple.h + triple.h \ + dynamic_array.h BUILT_SOURCES = \ rational.h \ |