widened_range.cpp File Reference

#include "widened_range.h"
#include <util/simplify_expr.h>

Include dependency graph for widened_range.cpp:

Go to the source code of this file.

Functions
static bool	has_underflowed (const exprt &value)
static bool	has_overflowed (const exprt &value, const exprt &initial_value)

Function Documentation

has_overflowed()

static bool has_overflowed ( const exprt &  value, const exprt &  initial_value  )

static

Definition at line 17 of file widened_range.cpp.

has_underflowed()

static bool has_underflowed ( const exprt &  value )

static

Definition at line 12 of file widened_range.cpp.