interval_constraint.h File Reference

#include "integer_interval.h"

Include dependency graph for interval_constraint.h:

This graph shows which files directly or indirectly include this file:

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.