/*! \file cdtrail_queue.h
** \verbatim
** Top contributors (to current version):
- ** Tim King
+ ** Tim King, Mathias Preiner
** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2016 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
+ ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ ** in the top-level source directory and their institutional affiliations.
** All rights reserved. See the file COPYING in the top-level source
** directory for licensing information.\endverbatim
**
** The implementation is currently not full featured.
**/
-
#include "cvc4_private.h"
-#ifndef __CVC4__CONTEXT__CDTRAIL_QUEUE_H
-#define __CVC4__CONTEXT__CDTRAIL_QUEUE_H
+#ifndef CVC4__CONTEXT__CDTRAIL_QUEUE_H
+#define CVC4__CONTEXT__CDTRAIL_QUEUE_H
-#include "context/context.h"
#include "context/cdlist.h"
+#include "context/cdo.h"
-namespace CVC4 {
+namespace cvc5 {
namespace context {
+class Context;
template <class T>
class CDTrailQueue {
/** Moves the iterator for the queue forward. */
void dequeue(){
- Assert(!empty(), "Attempting to queue from an empty queue.");
+ Assert(!empty()) << "Attempting to queue from an empty queue.";
d_iter = d_iter + 1;
}
};/* class CDTrailQueue<> */
-}/* CVC4::context namespace */
-}/* CVC4 namespace */
+} // namespace context
+} // namespace cvc5
-#endif /* __CVC4__CONTEXT__CDTRAIL_QUEUE_H */
+#endif /* CVC4__CONTEXT__CDTRAIL_QUEUE_H */