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

#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

Constructor & Destructor Documentation

◆ host_rounding_mode() [1/2]

host_rounding_mode::host_rounding_mode ( int mode)
inlineexplicit

◆ ~host_rounding_mode()

host_rounding_mode::~host_rounding_mode ( )
inline

◆ host_rounding_mode() [2/2]

host_rounding_mode::host_rounding_mode ( const host_rounding_mode & )
delete

Member Function Documentation

◆ operator=()

host_rounding_mode & host_rounding_mode::operator= ( const host_rounding_mode & )
delete

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