ROSE  0.9.9.109
Classes | Public Types | Public Member Functions | List of all members
Sawyer::Container::IntervalSet< I > Class Template Reference

Description

template<class I>
class Sawyer::Container::IntervalSet< I >

A container holding a set of values.

This container is somewhat like the STL std::set container except it is optimized for the case when large numbers of values are contiguous. It adds the ability to insert and erase intervals as well as scalars, and provides a mechanism to iterate over the storage nodes (intervals) rather than over the scalar values.

An interval set always maintains a list containing a minimum number of largest possible intervals regardless of what intervals are inserted and erased. This feature makes for a very convenient way to compute address ranges for small things, or things that might overlap. For instance, if one has a list of intervals corresponding to machine instructions that belong to a single function in an executable (some of which might even overlap), we can easily compute whether the function is contiguous in memory, and whether any instructions overlap with each other:

// Input is a list of intervals for instructions in a function
std::vector<AddressInterval> instructionIntervals = ...;
// Build the functionExtent and count total instruction size
uint32_t insnTotalSize = 0;
BOOST_FOREACH (const AddressInterval &insnInterval, instructionIntervals) {
functionExtent.insert(insnInterval);
insnTotalSize += insnInterval.size();
}
// Final results
bool isFunctionContiguous = functionExtent.nIntervals() <= 1;
bool isInsnsDisjoint = functionExtent.size() == insnTotalSize;

The Interval template parameter must implement the Sawyer::Container::Interval API, at least to some extent.

Definition at line 55 of file IntervalSet.h.

#include <IntervalSet.h>

Inheritance diagram for Sawyer::Container::IntervalSet< I >:
Inheritance graph
[legend]

Classes

class  ConstIntervalIterator
 Interval iterator. More...
 
class  ConstScalarIterator
 Scalar value iterator. More...
 

Public Types

typedef I Interval
 
typedef I::Value Scalar
 Type of scalar values stored in this set. More...
 

Public Member Functions

 IntervalSet ()
 Default constructor. More...
 
template<class Interval2 >
 IntervalSet (const IntervalSet< Interval2 > &other)
 Copy constructor. More...
 
template<class Interval2 , class T , class Policy >
 IntervalSet (const IntervalMap< Interval2, T, Policy > &other)
 Construct from an IntervalMap. More...
 
template<class Iterator >
 IntervalSet (const boost::iterator_range< Iterator > &intervals)
 Construct from an iterator range. More...
 
template<class Interval2 >
IntervalSetoperator= (const IntervalSet< Interval2 > &other)
 Assignment from another set. More...
 
template<class Interval2 , class T , class Policy >
IntervalSetoperator= (const IntervalMap< Interval2, T, Policy > &other)
 Assignment from an IntervalMap. More...
 
template<class Iterator >
IntervalSetoperator= (const boost::iterator_range< Iterator > &intervals)
 Assignment from an iterator range. More...
 
boost::iterator_range< ConstIntervalIteratorintervals () const
 Iterator range for all intervals actually stored by this set. More...
 
boost::iterator_range< ConstScalarIteratorscalars () const
 Iterator range for all scalar values logically represented by this set. More...
 
ConstIntervalIterator lowerBound (const typename Interval::Value &scalar) const
 Find the first node whose interval ends at or above the specified scalar key. More...
 
ConstIntervalIterator upperBound (const typename Interval::Value &scalar) const
 Find the first node whose interval begins above the specified scalar key. More...
 
ConstIntervalIterator findPrior (const typename Interval::Value &scalar) const
 Find the last node whose interval starts at or below the specified scalar key. More...
 
ConstIntervalIterator find (const typename Interval::Value &scalar) const
 Find the node containing the specified scalar key. More...
 
boost::iterator_range< ConstIntervalIteratorfindAll (const Interval &interval) const
 Finds all nodes overlapping the specified interval. More...
 
ConstIntervalIterator findFirstOverlap (const Interval &interval) const
 Finds first node that overlaps with the specified interval. More...
 
std::pair< ConstIntervalIterator, ConstIntervalIteratorfindFirstOverlap (ConstIntervalIterator thisIter, const IntervalSet &other, ConstIntervalIterator otherIter) const
 Find first nodes that overlap. More...
 
bool isEmpty () const
 Determine whether the container is empty. More...
 
Interval::Value size () const
 Number of scalar elements represented. More...
 
size_t nIntervals () const
 Number of storage nodes. More...
 
Interval hull () const
 Returns the range of values in this map. More...
 
bool exists (const typename Interval::Value &scalar) const
 Determines if a value exists in the set. More...
 
Scalar least () const
 Returns the minimum scalar contained in this set. More...
 
Scalar greatest () const
 Returns the maximum scalar contained in this set. More...
 
Optional< Scalarleast (Scalar lowerLimit) const
 Returns the limited-minimum scalar contained in this set. More...
 
Optional< Scalargreatest (Scalar upperLimit) const
 Returns the limited-maximum scalar contained in this set. More...
 
Optional< ScalarleastNonExistent (Scalar lowerLimit) const
 Returns the limited-minimum scalar not contained in this set. More...
 
Optional< ScalargreatestNonExistent (Scalar upperLimit) const
 Returns the limited-maximum scalar not contained in this set. More...
 
ConstIntervalIterator firstFit (const typename Interval::Value &size, ConstIntervalIterator start) const
 Find the first fit node at or after a starting point. More...
 
ConstIntervalIterator bestFit (const typename Interval::Value &size, ConstIntervalIterator start) const
 Find the best fit node at or after a starting point. More...
 
void clear ()
 Remove all values. More...
 
void invert ()
 Invert. More...
 
void invert (const Interval &restricted)
 Invert and intersect. More...
 
bool operator== (const IntervalSet &other) const
 Determines if two sets contain the same elements. More...
 
bool operator!= (const IntervalSet &other) const
 Determines if two sets contain different elements. More...
 
IntervalSet operator~ () const
 Return inverse of specified set. More...
 
IntervalSetoperator|= (const IntervalSet &other)
 In-place union. More...
 
IntervalSetoperator|= (const Interval &interval)
 In-place union with interval. More...
 
IntervalSet operator| (const IntervalSet &other) const
 Union of two sets. More...
 
IntervalSet operator| (const Interval &interval) const
 Union of set with interval. More...
 
IntervalSetoperator&= (const IntervalSet &other)
 In-place intersection. More...
 
IntervalSetoperator&= (const Interval &interval)
 In-place intersection with an interval. More...
 
IntervalSet operator& (const IntervalSet &other) const
 Intersection of two sets. More...
 
IntervalSet operator& (const Interval &interval) const
 Intersection of set with interval. More...
 
IntervalSetoperator-= (const IntervalSet &other)
 In-place subtraction. More...
 
IntervalSetoperator-= (const Interval &interval)
 In-place subtraction of an interval. More...
 
IntervalSet operator- (const IntervalSet &other) const
 Subtract another set from this one. More...
 
template<class Interval2 >
bool isOverlapping (const Interval2 &interval) const
 Determines whether this set overlaps with the argument. More...
 
template<class Interval2 >
bool isOverlapping (const IntervalSet< Interval2 > &other) const
 Determines whether this set overlaps with the argument. More...
 
template<class Interval2 , class T2 , class Policy2 >
bool isOverlapping (const IntervalMap< Interval2, T2, Policy2 > &other) const
 Determines whether this set overlaps with the argument. More...
 
template<class Interval2 >
bool isDistinct (const Interval2 &interval) const
 Determines whether this set is distinct from the argument. More...
 
template<class Interval2 >
bool isDistinct (const IntervalSet< Interval2 > &other) const
 Determines whether this set is distinct from the argument. More...
 
template<class Interval2 , class T2 , class Policy2 >
bool isDistinct (const IntervalMap< Interval2, T2, Policy2 > &other) const
 Determines whether this set is distinct from the argument. More...
 
bool contains (const typename Interval::Value &scalar) const
 Determines whether this set fully contains the argument. More...
 
template<class Interval2 >
bool contains (const Interval2 &interval) const
 Determines whether this set fully contains the argument. More...
 
template<class Interval2 >
bool contains (const IntervalSet< Interval2 > &other) const
 Determines whether this set fully contains the argument. More...
 
template<class Interval2 , class T2 , class Policy2 >
bool contains (const IntervalMap< Interval2, T2, Policy2 > &other) const
 Determines whether this set fully contains the argument. More...
 
template<class Interval2 >
void insert (const Interval2 &interval)
 Insert specified values. More...
 
template<class Interval2 >
void insertMultiple (const IntervalSet< Interval2 > &other)
 Insert specified values. More...
 
template<class Interval2 , class T , class Policy >
void insertMultiple (const IntervalMap< Interval2, T, Policy > &other)
 Insert specified values. More...
 
template<class Interval2 >
void erase (const Interval2 &interval)
 Remove specified values. More...
 
template<class Interval2 >
void eraseMultiple (const IntervalSet< Interval2 > &other)
 Remove specified values. More...
 
template<class Interval2 , class T , class Policy >
void eraseMultiple (const IntervalMap< Interval2, T, Policy > &other)
 Remove specified values. More...
 
template<class Interval2 >
void intersect (const Interval2 &interval)
 Interset with specified values. More...
 
template<class Interval2 >
void intersect (IntervalSet< Interval2 > other)
 Interset with specified values. More...
 
template<class Interval2 , class T , class Policy >
void intersect (const IntervalMap< Interval2, T, Policy > &other)
 Interset with specified values. More...
 

Member Typedef Documentation

template<class I>
typedef I::Value Sawyer::Container::IntervalSet< I >::Scalar

Type of scalar values stored in this set.

Definition at line 70 of file IntervalSet.h.

Constructor & Destructor Documentation

template<class I>
Sawyer::Container::IntervalSet< I >::IntervalSet ( )
inline

Default constructor.

Creates an empty set.

Definition at line 147 of file IntervalSet.h.

template<class I>
template<class Interval2 >
Sawyer::Container::IntervalSet< I >::IntervalSet ( const IntervalSet< Interval2 > &  other)
inline

Copy constructor.

The newly constructed set will contain copies of the nodes from other.

Definition at line 153 of file IntervalSet.h.

template<class I>
template<class Interval2 , class T , class Policy >
Sawyer::Container::IntervalSet< I >::IntervalSet ( const IntervalMap< Interval2, T, Policy > &  other)
inlineexplicit

Construct from an IntervalMap.

The newly constructed set will contain copies of the intervals from the specified IntervalMap. The map's intervals must be convertible to the set's interval type. The map's values are not used.

Definition at line 164 of file IntervalSet.h.

template<class I>
template<class Iterator >
Sawyer::Container::IntervalSet< I >::IntervalSet ( const boost::iterator_range< Iterator > &  intervals)
inline

Construct from an iterator range.

The newly constructed set will contain copies of the intervals from the specified iterator range. The range's dereferenced iterators must be convertible to the set's interval type.

Definition at line 175 of file IntervalSet.h.

Member Function Documentation

template<class I>
template<class Interval2 >
IntervalSet& Sawyer::Container::IntervalSet< I >::operator= ( const IntervalSet< Interval2 > &  other)
inline

Assignment from another set.

Causes this set to contain the same intervals as the other set. The other set's intervals must be convertible to this set's interval type.

Definition at line 185 of file IntervalSet.h.

template<class I>
template<class Interval2 , class T , class Policy >
IntervalSet& Sawyer::Container::IntervalSet< I >::operator= ( const IntervalMap< Interval2, T, Policy > &  other)
inline

Assignment from an IntervalMap.

Causes this set to contain the same intervals as the specified map. The map's intervals must be convertible to this set's interval type. Since sets and maps have different requirements regarding merging of neighboring intervals, the returned container might not have node-to-node correspondence with the map, but both will contain the same logical intervals.

Definition at line 200 of file IntervalSet.h.

template<class I>
template<class Iterator >
IntervalSet& Sawyer::Container::IntervalSet< I >::operator= ( const boost::iterator_range< Iterator > &  intervals)
inline

Assignment from an iterator range.

The newly constructed set will contain copies of the intervals from the specified iterator range. The range's dereferenced iterators must be convertible to the set's interval type.

Definition at line 213 of file IntervalSet.h.

template<class I>
boost::iterator_range<ConstIntervalIterator> Sawyer::Container::IntervalSet< I >::intervals ( ) const
inline
template<class I>
boost::iterator_range<ConstScalarIterator> Sawyer::Container::IntervalSet< I >::scalars ( ) const
inline

Iterator range for all scalar values logically represented by this set.

Definition at line 231 of file IntervalSet.h.

template<class I>
ConstIntervalIterator Sawyer::Container::IntervalSet< I >::lowerBound ( const typename Interval::Value &  scalar) const
inline

Find the first node whose interval ends at or above the specified scalar key.

Returns an iterator to the node, or the end iterator if no such node exists.

Definition at line 239 of file IntervalSet.h.

template<class I>
ConstIntervalIterator Sawyer::Container::IntervalSet< I >::upperBound ( const typename Interval::Value &  scalar) const
inline

Find the first node whose interval begins above the specified scalar key.

Returns an iterator to the node, or the end iterator if no such node exists.

Definition at line 246 of file IntervalSet.h.

template<class I>
ConstIntervalIterator Sawyer::Container::IntervalSet< I >::findPrior ( const typename Interval::Value &  scalar) const
inline

Find the last node whose interval starts at or below the specified scalar key.

Returns an iterator to the node, or the end iterator if no such node exists.

Definition at line 253 of file IntervalSet.h.

template<class I>
ConstIntervalIterator Sawyer::Container::IntervalSet< I >::find ( const typename Interval::Value &  scalar) const
inline

Find the node containing the specified scalar key.

Returns an iterator to the matching node, or the end iterator if no such node exists.

Definition at line 260 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::exists().

template<class I>
boost::iterator_range<ConstIntervalIterator> Sawyer::Container::IntervalSet< I >::findAll ( const Interval &  interval) const
inline

Finds all nodes overlapping the specified interval.

Returns an iterator range that enumerates the nodes that overlap with the specified interval.

Definition at line 267 of file IntervalSet.h.

template<class I>
ConstIntervalIterator Sawyer::Container::IntervalSet< I >::findFirstOverlap ( const Interval &  interval) const
inline

Finds first node that overlaps with the specified interval.

Returns an iterator to the matching node, or the end iterator if no such node exists.

Definition at line 276 of file IntervalSet.h.

template<class I>
std::pair<ConstIntervalIterator, ConstIntervalIterator> Sawyer::Container::IntervalSet< I >::findFirstOverlap ( ConstIntervalIterator  thisIter,
const IntervalSet< I > &  other,
ConstIntervalIterator  otherIter 
) const
inline

Find first nodes that overlap.

Given two ranges of iterators for two sets, advance the iterators to the closest nodes that overlap with each other, and return the result as two iterators. If no overlaps can be found then the return value is two end iterators.

Definition at line 286 of file IntervalSet.h.

template<class I>
bool Sawyer::Container::IntervalSet< I >::isEmpty ( ) const
inline

Determine whether the container is empty.

Returns true only if this set contains no elements.

Definition at line 299 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::greatest(), Sawyer::Container::IntervalSet< AddressInterval >::intersect(), and Sawyer::Container::IntervalSet< AddressInterval >::least().

template<class I>
Interval::Value Sawyer::Container::IntervalSet< I >::size ( void  ) const
inline

Number of scalar elements represented.

Returns the number of scalar elements (not intervals or storage nodes) contained in this set. Since the return type is the same as the type used in the interval end points, this function can return overflowed values. For instance, a set that contains all possible values in the value space is likely to return zero.

Definition at line 308 of file IntervalSet.h.

Referenced by Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue::get_number(), and Rose::BinaryAnalysis::InstructionSemantics2::IntervalSemantics::SValue::is_number().

template<class I>
size_t Sawyer::Container::IntervalSet< I >::nIntervals ( ) const
inline

Number of storage nodes.

Returns the number of nodes stored in this container, which for sets is always the number of maximally contiguous intervals. Most algorithms employed by IntervalSet methods are either logarithmic or scalar in this number.

Definition at line 316 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::operator&(), and Sawyer::Container::IntervalSet< AddressInterval >::operator|().

template<class I>
Interval Sawyer::Container::IntervalSet< I >::hull ( ) const
inline

Returns the range of values in this map.

Definition at line 321 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::intersect().

template<class I>
template<class Interval2 >
bool Sawyer::Container::IntervalSet< I >::isOverlapping ( const Interval2 &  interval) const
inline

Determines whether this set overlaps with the argument.

Returns true if this set contains any values that are also present in the argument.

Definition at line 335 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::isDistinct().

template<class I>
template<class Interval2 >
bool Sawyer::Container::IntervalSet< I >::isOverlapping ( const IntervalSet< Interval2 > &  other) const
inline

Determines whether this set overlaps with the argument.

Returns true if this set contains any values that are also present in the argument.

Definition at line 340 of file IntervalSet.h.

template<class I>
template<class Interval2 , class T2 , class Policy2 >
bool Sawyer::Container::IntervalSet< I >::isOverlapping ( const IntervalMap< Interval2, T2, Policy2 > &  other) const
inline

Determines whether this set overlaps with the argument.

Returns true if this set contains any values that are also present in the argument.

Definition at line 345 of file IntervalSet.h.

template<class I>
template<class Interval2 >
bool Sawyer::Container::IntervalSet< I >::isDistinct ( const Interval2 &  interval) const
inline

Determines whether this set is distinct from the argument.

Returns true if none of the values of this set are equal to any value in the argument.

Definition at line 356 of file IntervalSet.h.

template<class I>
template<class Interval2 >
bool Sawyer::Container::IntervalSet< I >::isDistinct ( const IntervalSet< Interval2 > &  other) const
inline

Determines whether this set is distinct from the argument.

Returns true if none of the values of this set are equal to any value in the argument.

Definition at line 361 of file IntervalSet.h.

template<class I>
template<class Interval2 , class T2 , class Policy2 >
bool Sawyer::Container::IntervalSet< I >::isDistinct ( const IntervalMap< Interval2, T2, Policy2 > &  other) const
inline

Determines whether this set is distinct from the argument.

Returns true if none of the values of this set are equal to any value in the argument.

Definition at line 366 of file IntervalSet.h.

template<class I>
bool Sawyer::Container::IntervalSet< I >::exists ( const typename Interval::Value &  scalar) const
inline

Determines if a value exists in the set.

Returns true if the specified value is a member of the set.

Definition at line 374 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::contains().

template<class I>
bool Sawyer::Container::IntervalSet< I >::contains ( const typename Interval::Value &  scalar) const
inline

Determines whether this set fully contains the argument.

Returns true if this set contains all values represented by the argument.

Definition at line 383 of file IntervalSet.h.

template<class I>
template<class Interval2 >
bool Sawyer::Container::IntervalSet< I >::contains ( const Interval2 &  interval) const
inline

Determines whether this set fully contains the argument.

Returns true if this set contains all values represented by the argument.

Definition at line 388 of file IntervalSet.h.

template<class I>
template<class Interval2 >
bool Sawyer::Container::IntervalSet< I >::contains ( const IntervalSet< Interval2 > &  other) const
inline

Determines whether this set fully contains the argument.

Returns true if this set contains all values represented by the argument.

Definition at line 393 of file IntervalSet.h.

template<class I>
template<class Interval2 , class T2 , class Policy2 >
bool Sawyer::Container::IntervalSet< I >::contains ( const IntervalMap< Interval2, T2, Policy2 > &  other) const
inline

Determines whether this set fully contains the argument.

Returns true if this set contains all values represented by the argument.

Definition at line 398 of file IntervalSet.h.

template<class I>
Scalar Sawyer::Container::IntervalSet< I >::least ( ) const
inline
template<class I>
Scalar Sawyer::Container::IntervalSet< I >::greatest ( ) const
inline

Returns the maximum scalar contained in this set.

Definition at line 414 of file IntervalSet.h.

template<class I>
Optional<Scalar> Sawyer::Container::IntervalSet< I >::least ( Scalar  lowerLimit) const
inline

Returns the limited-minimum scalar contained in this set.

Returns the minimum scalar that exists in this set and which is greater than or equal to lowerLimit. If no such value exists then nothing is returned.

Definition at line 423 of file IntervalSet.h.

template<class I>
Optional<Scalar> Sawyer::Container::IntervalSet< I >::greatest ( Scalar  upperLimit) const
inline

Returns the limited-maximum scalar contained in this set.

Returns the maximum scalar that exists in this set and which is less than or equal to upperLimit. If no such value exists then nothing is returned.

Definition at line 431 of file IntervalSet.h.

template<class I>
Optional<Scalar> Sawyer::Container::IntervalSet< I >::leastNonExistent ( Scalar  lowerLimit) const
inline

Returns the limited-minimum scalar not contained in this set.

Returns the minimum scalar equal to or greater than the lowerLimit which is not in this set. If no such value exists then nothing is returned.

Definition at line 439 of file IntervalSet.h.

template<class I>
Optional<Scalar> Sawyer::Container::IntervalSet< I >::greatestNonExistent ( Scalar  upperLimit) const
inline

Returns the limited-maximum scalar not contained in this set.

Returns the maximum scalar equal to or less than the upperLimit which is not in this set. If no such value exists then nothing is returned.

Definition at line 447 of file IntervalSet.h.

template<class I>
ConstIntervalIterator Sawyer::Container::IntervalSet< I >::firstFit ( const typename Interval::Value &  size,
ConstIntervalIterator  start 
) const
inline

Find the first fit node at or after a starting point.

Finds the first node of contiguous values beginning at or after the specified starting iterator, start, and which is at least as large as the desired size. If there are no such nodes then the end iterator is returned.

Caveat emptor: The size argument has the name type as the interval end points. If the end points have a signed type, then it is entirely likely that the size will overflow. In fact, it is also possible that unsigned sizes overflow since, for example, an 8-bit unsigned size cannot hold the size of an interval representing the entire 8-bit space. Therefore, use this method with care.

Definition at line 460 of file IntervalSet.h.

template<class I>
ConstIntervalIterator Sawyer::Container::IntervalSet< I >::bestFit ( const typename Interval::Value &  size,
ConstIntervalIterator  start 
) const
inline

Find the best fit node at or after a starting point.

Finds a node of contiguous values beginning at or after the specified starting iterator, start, and which is at least as large as the desired size. If there is more than one such node, then the first smallest such node is returned. If there are no such nodes then the end iterator is returned.

Caveat emptor: The size argument has the name type as the interval end points. If the end points have a signed type, then it is entirely likely that the size will overflow. In fact, it is also possible that unsigned sizes overflow since, for example, an 8-bit unsigned size cannot hold the size of an interval representing the entire 8-bit space. Therefore, use this method with care.

Definition at line 474 of file IntervalSet.h.

template<class I>
void Sawyer::Container::IntervalSet< I >::clear ( )
inline

Remove all values.

All values are removed from this set and the set becomes empty.

Definition at line 487 of file IntervalSet.h.

Referenced by Rose::BinaryAnalysis::BinaryDebugger::clearBreakpoints(), Sawyer::Container::IntervalSet< AddressInterval >::intersect(), and Sawyer::Container::IntervalSet< AddressInterval >::operator=().

template<class I>
void Sawyer::Container::IntervalSet< I >::invert ( )
inline
template<class I>
void Sawyer::Container::IntervalSet< I >::invert ( const Interval &  restricted)
inline

Invert and intersect.

Inverts this set and then intersects it with restricted.

Definition at line 501 of file IntervalSet.h.

template<class I>
template<class Interval2 >
void Sawyer::Container::IntervalSet< I >::insert ( const Interval2 &  interval)
inline
template<class I>
template<class Interval2 >
void Sawyer::Container::IntervalSet< I >::insertMultiple ( const IntervalSet< Interval2 > &  other)
inline

Insert specified values.

The values can be specified by a interval (or scalar if the interval has an implicit constructor), another set whose interval type is convertible to this set's interval type, or an IntervalMap whose intervals are convertible.

Definition at line 537 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::operator|(), and Sawyer::Container::IntervalSet< AddressInterval >::operator|=().

template<class I>
template<class Interval2 , class T , class Policy >
void Sawyer::Container::IntervalSet< I >::insertMultiple ( const IntervalMap< Interval2, T, Policy > &  other)
inline

Insert specified values.

The values can be specified by a interval (or scalar if the interval has an implicit constructor), another set whose interval type is convertible to this set's interval type, or an IntervalMap whose intervals are convertible.

Definition at line 544 of file IntervalSet.h.

template<class I>
template<class Interval2 >
void Sawyer::Container::IntervalSet< I >::erase ( const Interval2 &  interval)
inline

Remove specified values.

The values can be specified by an interval (or scalar if the interval has an implicit constructor), another set whose interval type is convertible to this set's interval type, or an IntervalMap whose intervals are convertible.

Definition at line 558 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::operator-=().

template<class I>
template<class Interval2 >
void Sawyer::Container::IntervalSet< I >::eraseMultiple ( const IntervalSet< Interval2 > &  other)
inline

Remove specified values.

The values can be specified by an interval (or scalar if the interval has an implicit constructor), another set whose interval type is convertible to this set's interval type, or an IntervalMap whose intervals are convertible.

Definition at line 563 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::operator-(), and Sawyer::Container::IntervalSet< AddressInterval >::operator-=().

template<class I>
template<class Interval2 , class T , class Policy >
void Sawyer::Container::IntervalSet< I >::eraseMultiple ( const IntervalMap< Interval2, T, Policy > &  other)
inline

Remove specified values.

The values can be specified by an interval (or scalar if the interval has an implicit constructor), another set whose interval type is convertible to this set's interval type, or an IntervalMap whose intervals are convertible.

Definition at line 571 of file IntervalSet.h.

template<class I>
template<class Interval2 >
void Sawyer::Container::IntervalSet< I >::intersect ( const Interval2 &  interval)
inline

Interset with specified values.

Computes in place intersection of this container with the specified argument. The argument may be an interval (or scalar if the interval has an implicit constructor), or another set whose interval type is convertible to this set's interval type.

Definition at line 586 of file IntervalSet.h.

Referenced by Sawyer::Container::IntervalSet< AddressInterval >::operator&(), and Sawyer::Container::IntervalSet< AddressInterval >::operator&=().

template<class I>
template<class Interval2 >
void Sawyer::Container::IntervalSet< I >::intersect ( IntervalSet< Interval2 >  other)
inline

Interset with specified values.

Computes in place intersection of this container with the specified argument. The argument may be an interval (or scalar if the interval has an implicit constructor), or another set whose interval type is convertible to this set's interval type.

Definition at line 600 of file IntervalSet.h.

template<class I>
template<class Interval2 , class T , class Policy >
void Sawyer::Container::IntervalSet< I >::intersect ( const IntervalMap< Interval2, T, Policy > &  other)

Interset with specified values.

Computes in place intersection of this container with the specified argument. The argument may be an interval (or scalar if the interval has an implicit constructor), or another set whose interval type is convertible to this set's interval type.

template<class I>
bool Sawyer::Container::IntervalSet< I >::operator== ( const IntervalSet< I > &  other) const
inline

Determines if two sets contain the same elements.

Definition at line 615 of file IntervalSet.h.

template<class I>
bool Sawyer::Container::IntervalSet< I >::operator!= ( const IntervalSet< I > &  other) const
inline

Determines if two sets contain different elements.

Definition at line 620 of file IntervalSet.h.

template<class I>
IntervalSet Sawyer::Container::IntervalSet< I >::operator~ ( ) const
inline

Return inverse of specified set.

Definition at line 631 of file IntervalSet.h.

template<class I>
IntervalSet& Sawyer::Container::IntervalSet< I >::operator|= ( const IntervalSet< I > &  other)
inline

In-place union.

Inserts the members of other set into this set.

Definition at line 640 of file IntervalSet.h.

template<class I>
IntervalSet& Sawyer::Container::IntervalSet< I >::operator|= ( const Interval &  interval)
inline

In-place union with interval.

Inserts the interval into this set.

Definition at line 648 of file IntervalSet.h.

template<class I>
IntervalSet Sawyer::Container::IntervalSet< I >::operator| ( const IntervalSet< I > &  other) const
inline

Union of two sets.

Definition at line 654 of file IntervalSet.h.

template<class I>
IntervalSet Sawyer::Container::IntervalSet< I >::operator| ( const Interval &  interval) const
inline

Union of set with interval.

It's probably more efficient to insert the interval in place, but this method is sometimes convenient.

Definition at line 668 of file IntervalSet.h.

template<class I>
IntervalSet& Sawyer::Container::IntervalSet< I >::operator&= ( const IntervalSet< I > &  other)
inline

In-place intersection.

Modifies this set so it contains only those members that are also in the other set.

Definition at line 677 of file IntervalSet.h.

template<class I>
IntervalSet& Sawyer::Container::IntervalSet< I >::operator&= ( const Interval &  interval)
inline

In-place intersection with an interval.

Modifies this set so it contains only those members that are also in interval.

Definition at line 685 of file IntervalSet.h.

template<class I>
IntervalSet Sawyer::Container::IntervalSet< I >::operator& ( const IntervalSet< I > &  other) const
inline

Intersection of two sets.

Definition at line 691 of file IntervalSet.h.

template<class I>
IntervalSet Sawyer::Container::IntervalSet< I >::operator& ( const Interval &  interval) const
inline

Intersection of set with interval.

Definition at line 703 of file IntervalSet.h.

template<class I>
IntervalSet& Sawyer::Container::IntervalSet< I >::operator-= ( const IntervalSet< I > &  other)
inline

In-place subtraction.

Subtracts from this set those members of the other set.

Definition at line 712 of file IntervalSet.h.

template<class I>
IntervalSet& Sawyer::Container::IntervalSet< I >::operator-= ( const Interval &  interval)
inline

In-place subtraction of an interval.

Removes the specified interval of values from this set.

Definition at line 720 of file IntervalSet.h.

template<class I>
IntervalSet Sawyer::Container::IntervalSet< I >::operator- ( const IntervalSet< I > &  other) const
inline

Subtract another set from this one.

A-B is equivalent to A & ~B but perhaps faster.

Definition at line 728 of file IntervalSet.h.


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