sdfg::symbolic::Interval Struct Reference

Result of bounding an expression: an interval [lower, upper]. More...

#include <sdfg/symbolic/extreme_values.h>

Public Member Functions
bool	failed () const
	Returns true if both bounds failed.
bool	has_lower () const
	Returns true if the lower bound was computed.
bool	has_upper () const
	Returns true if the upper bound was computed.

Static Public Member Functions
static Interval	exact (const Expression &expr)
	Creates an exact interval [expr, expr] for a constant or parameter.
static Interval	failure ()
	Creates a failure result.

Public Attributes
Expression	lower
Expression	upper

Detailed Description

Result of bounding an expression: an interval [lower, upper].

Both endpoints are expressions in terms of parameters. A null endpoint indicates that the bound could not be computed for that direction.

Member Function Documentation

exact()

Interval sdfg::symbolic::Interval::exact ( const Expression & expr )

inlinestatic

Creates an exact interval [expr, expr] for a constant or parameter.

failed()

bool sdfg::symbolic::Interval::failed ( ) const

inline

Returns true if both bounds failed.

failure()

Interval sdfg::symbolic::Interval::failure ( )

inlinestatic

Creates a failure result.

has_lower()

bool sdfg::symbolic::Interval::has_lower ( ) const

inline

Returns true if the lower bound was computed.

has_upper()

bool sdfg::symbolic::Interval::has_upper ( ) const

inline

Returns true if the upper bound was computed.

Member Data Documentation

lower

Expression sdfg::symbolic::Interval::lower

upper

Expression sdfg::symbolic::Interval::upper

---

The documentation for this struct was generated from the following file:

• sdfg/include/sdfg/symbolic/extreme_values.h