Method dequeue

deps/CVC4/context/cdtrail_queue.h:76–79

Moves the iterator for the queue forward. */

  /** Moves the iterator for the queue forward. */
  void dequeue(){
    Assert(!empty()) << "Attempting to queue from an empty queue.";
    d_iter = d_iter + 1;
  }

  const T& operator[](size_t index) const{
    Assert(index < d_list.size());