CBMC
mathematical_types.cpp File Reference

Mathematical types. More...

#include "mathematical_types.h"
#include "std_expr.h"
+ Include dependency graph for mathematical_types.cpp:

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...
 

Detailed Description

Mathematical types.

Definition in file mathematical_types.cpp.

Function Documentation

◆ is_number()

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.