CACAO
Public Member Functions | Private Attributes | Friends
IntervalMap Class Reference

Maps variable names to intervals. More...

Public Member Functions

size_t size () const
 
Intervaloperator[] (size_t varIndex)
 Returns the interval of the specified variable. More...
 
void unionWith (const IntervalMap &)
 Computes the union set of this map with the specified map. More...
 

Private Attributes

DynamicVector< Interval_intervals
 

Friends

std::ostream & operator<< (std::ostream &, IntervalMap &)
 

Detailed Description

Maps variable names to intervals.

Definition at line 38 of file IntervalMap.hpp.

Member Function Documentation

Interval & IntervalMap::operator[] ( size_t  varIndex)
inline

Returns the interval of the specified variable.

Definition at line 62 of file IntervalMap.hpp.

size_t IntervalMap::size ( ) const
inline

Definition at line 44 of file IntervalMap.hpp.

void IntervalMap::unionWith ( const IntervalMap other)
inline

Computes the union set of this map with the specified map.

This object will hold the result.

Definition at line 67 of file IntervalMap.hpp.

Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  out,
IntervalMap map 
)
friend

Definition at line 27 of file IntervalMap.cpp.

Field Documentation

DynamicVector<Interval> IntervalMap::_intervals
private

Definition at line 40 of file IntervalMap.hpp.


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