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.

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.