CBMC
|
Mathematical types. More...
Go to the source code of this file.
Functions | |
bool | is_number (const typet &type) |
Returns true if the type is a rational, real, integer, natural, complex, unsignedbv, signedbv, floatbv or fixedbv. More... | |
Mathematical types.
Definition in file mathematical_types.cpp.
bool is_number | ( | const typet & | type | ) |
Returns true if the type is a rational, real, integer, natural, complex, unsignedbv, signedbv, floatbv or fixedbv.
Definition at line 19 of file mathematical_types.cpp.