mathematical_types.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Mathematical types
 
Author: Daniel Kroening, kroening@kroening.com
        Maria Svorenova, maria.svorenova@diffblue.com
 
\*******************************************************************/
 
 
#include "mathematical_types.h"
 
#include "std_expr.h"
 
bool is_number(const typet &type)
{
  const irep_idt &id = type.id();
  return id == ID_rational || id == ID_real || id == ID_integer ||
         id == ID_natural || id == ID_complex || id == ID_unsignedbv ||
         id == ID_signedbv || id == ID_floatbv || id == ID_fixedbv;
}
bool is_number(const typet &type) {…}
 
constant_exprt integer_typet::zero_expr() const
{
  return constant_exprt{ID_0, *this};
}
constant_exprt integer_typet::zero_expr() const {…}
 
constant_exprt integer_typet::one_expr() const
{
  return constant_exprt{ID_1, *this};
}
constant_exprt integer_typet::one_expr() const {…}
 
constant_exprt natural_typet::zero_expr() const
{
  return constant_exprt{ID_0, *this};
}
constant_exprt natural_typet::zero_expr() const {…}
 
constant_exprt natural_typet::one_expr() const
{
  return constant_exprt{ID_1, *this};
}
constant_exprt natural_typet::one_expr() const {…}
 
constant_exprt rational_typet::zero_expr() const
{
  return constant_exprt{ID_0, *this};
}
constant_exprt rational_typet::zero_expr() const {…}
 
constant_exprt rational_typet::one_expr() const
{
  return constant_exprt{ID_1, *this};
}
constant_exprt rational_typet::one_expr() const {…}
 
constant_exprt real_typet::zero_expr() const
{
  return constant_exprt{ID_0, *this};
}
constant_exprt real_typet::zero_expr() const {…}
 
constant_exprt real_typet::one_expr() const
{
  return constant_exprt{ID_1, *this};
}
constant_exprt real_typet::one_expr() const {…}