|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <definitions.h>
Public Types | |
| enum | kind { _setiosflags , _resetiosflags , _setbase , _setfill , _setprecision , _setw } |
Public Member Functions | |
| smanip (kind k, long a) | |
Public Attributes | |
| int | _kind |
| long | _arg |
|
inline |
| long smanip::_arg |
| int smanip::_kind |