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). More...

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.