mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-31 16:33:18 +00:00
Code Activity

format

Browse source
This commit is contained in:
Chuyue Sun 2024-07-18 08:55:39 +00:00
parent 245ce0b3fa
commit 47e957d61b
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/util/dlist.h
View file

@ -160,8 +160,8 @@ public:
const T* slow = static_cast<const T*>(this); const T* slow = static_cast<const T*>(this);
const T* fast = m_next; const T* fast = m_next;
bool looped = false; bool looped = false;
// m_next of each node should point back to m_prev of the following node, // m_next of each node should point back to m_prev of the following node,
// and m_prev of each node should point forward to m_next of the preceding node. // and m_prev of each node should point forward to m_next of the preceding node.
while (slow != fast) { while (slow != fast) {
if (fast->m_prev->m_next != fast || fast->m_next->m_prev != fast) { if (fast->m_prev->m_next != fast || fast->m_next->m_prev != fast) {
return false; return false;
@ -255,4 +255,4 @@ template < typename T
dll_iterator<T> end(T const& list) dll_iterator<T> end(T const& list)
{ {
return dll_iterator<T>::mk_end(&list); return dll_iterator<T>::mk_end(&list);
} }