CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
format_constantt Class Reference

#include <format_constant.h>

+ Inheritance diagram for format_constantt:
[フレーム]
[legend]
+ Collaboration diagram for format_constantt:
[フレーム]
[legend]

Public Member Functions

std::string  operator() (const exprt &expr)
 
- Public Member Functions inherited from format_spect
  format_spect ()
 
  format_spect (stylet _style)
 

Additional Inherited Members

- Public Types inherited from format_spect
enum class   stylet { DECIMAL , SCIENTIFIC , AUTOMATIC }
 
- Static Public Member Functions inherited from format_spect
static format_spect  scientific ()
 
static format_spect  automatic ()
 
- Public Attributes inherited from format_spect
unsigned  min_width
 
unsigned  precision
 
bool  zero_padding
 
stylet  style
 

Detailed Description

Definition at line 19 of file format_constant.h.

Member Function Documentation

◆  operator()()

std::string format_constantt::operator() ( const exprt &  expr )

Definition at line 18 of file format_constant.cpp.

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

AltStyle によって変換されたページ (->オリジナル) /