CBMC
Loading...
Searching...
No Matches
Functions
interval_constraint.cpp File Reference
#include "interval_constraint.h"
#include "arith_tools.h"
+ Include dependency graph for interval_constraint.cpp:

Go to the source code of this file.

Functions

exprt  interval_constraint (const exprt &expr, const integer_intervalt &interval)
  Given an exprt and an integer interval return an exprt that represents restricting the expression to the range in the interval (inclusive).
 

Function Documentation

◆  interval_constraint()

exprt interval_constraint ( const exprt &  expr,
const integer_intervalt &  interval 
)

Given an exprt and an integer interval return an exprt that represents restricting the expression to the range in the interval (inclusive).

Definition at line 12 of file interval_constraint.cpp.

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