diff options
Diffstat (limited to 'src/context/cdtrail_queue.h')
| -rw-r--r-- | src/context/cdtrail_queue.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/context/cdtrail_queue.h b/src/context/cdtrail_queue.h index 3f6887d29..94d758ced 100644 --- a/src/context/cdtrail_queue.h +++ b/src/context/cdtrail_queue.h @@ -80,11 +80,15 @@ public: d_iter = d_iter + 1; } - const T& operator[](size_t index){ + const T& operator[](size_t index) const{ Assert(index < d_list.size()); return d_list[index]; } + size_t size() const{ + return d_list.size(); + } + };/* class CDTrailQueue<> */ }/* CVC4::context namespace */ |