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

Public Member Functions

bool is_integer (cls, float x)

Member Function Documentation

◆ is_integer()

bool float.float.is_integer ( cls,
float x )

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