ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
smanip Class Reference

#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

Member Enumeration Documentation

◆ kind

Enumerator
_setiosflags 
_resetiosflags 
_setbase 
_setfill 
_setprecision 
_setw 

Constructor & Destructor Documentation

◆ smanip()

smanip::smanip ( kind k,
long a )
inline

Member Data Documentation

◆ _arg

long smanip::_arg

◆ _kind

int smanip::_kind

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