|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Base class for every irep2 node. More...
#include <irep2.h>
Public Member Functions | |
| irep2t () noexcept | |
| irep2t (const irep2t &) noexcept | |
| irep2t & | operator= (const irep2t &)=delete |
| virtual | ~irep2t ()=default |
| void | mark_writer () const noexcept |
| void | clear_writer () const noexcept |
Static Public Member Functions | |
| static std::uintptr_t | current_thread_tag () noexcept |
Public Attributes | |
| std::atomic< unsigned int > | refcount |
| std::atomic< std::uintptr_t > | writer_thread |
Base class for every irep2 node.
Carries the intrusive refcount used by irep_container; the cell sits inside the node itself. Container construction increments; container destruction decrements and deletes when the count reaches zero. See irep2.h's threading-contract preamble for the ordering rules.
|
inlinenoexcept |
|
inlinenoexcept |
|
virtualdefault |
|
inlinenoexcept |
|
inlinestaticnoexcept |
|
inlinenoexcept |
|
mutable |
|
mutable |