mCRL2
Loading...
Searching...
No Matches
atermpp::write_todo Struct Reference

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< atermterm
 
bool write = false
 

Detailed Description

Keep track of whether the term can be written to the stream.

Definition at line 80 of file aterm_io_binary.cpp.

Constructor & Destructor Documentation

◆ write_todo()

atermpp::write_todo::write_todo ( const aterm term)
inline

Definition at line 85 of file aterm_io_binary.cpp.

Member Function Documentation

◆ mark()

void atermpp::write_todo::mark ( std::stack< std::reference_wrapper< detail::_aterm > > &  todo) const
inline

Definition at line 89 of file aterm_io_binary.cpp.

Member Data Documentation

◆ term

detail::reference_aterm<aterm> atermpp::write_todo::term

Definition at line 82 of file aterm_io_binary.cpp.

◆ write

bool atermpp::write_todo::write = false

Definition at line 83 of file aterm_io_binary.cpp.


The documentation for this struct was generated from the following file: