CBMC
Loading...
Searching...
No Matches
Classes | Functions
interval.h File Reference
#include <util/std_expr.h>
#include <util/threeval.h>
#include <iosfwd>
+ Include dependency graph for interval.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class   max_value_exprt
  +∞ upper bound for intervals More...
 
class   min_value_exprt
  -∞ upper bound for intervals More...
 
class   constant_interval_exprt
  Represents an interval of values. More...
 

Functions

const constant_interval_exprt &  to_constant_interval_expr (const exprt &expr)
 

Function Documentation

◆  to_constant_interval_expr()

const constant_interval_exprt & to_constant_interval_expr ( const exprt &  expr )
inline

Definition at line 462 of file interval.h.

AltStyle によって変換されたページ (->オリジナル) /