|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <host_rounding_mode.h>
Public Member Functions | |
| host_rounding_mode (int mode) | |
| ~host_rounding_mode () | |
| host_rounding_mode (const host_rounding_mode &)=delete | |
| host_rounding_mode & | operator= (const host_rounding_mode &)=delete |
|
inlineexplicit |
|
inline |
|
delete |
|
delete |