mCRL2
|
Keep track of whether the term can be written to the stream. More...
Public Member Functions | |
write_todo (const aterm &term) | |
void | mark (std::stack< std::reference_wrapper< detail::_aterm > > &todo) const |
Public Attributes | |
detail::reference_aterm< aterm > | term |
bool | write = false |
Keep track of whether the term can be written to the stream.
Definition at line 80 of file aterm_io_binary.cpp.
|
inline |
Definition at line 85 of file aterm_io_binary.cpp.
|
inline |
Definition at line 89 of file aterm_io_binary.cpp.
detail::reference_aterm<aterm> atermpp::write_todo::term |
Definition at line 82 of file aterm_io_binary.cpp.
bool atermpp::write_todo::write = false |
Definition at line 83 of file aterm_io_binary.cpp.