libutap  0.93
Uppaal Timed Automata Parser
UTAP::range_t Class Reference

An integer range. More...

#include <symbols.h>

Public Member Functions

 range_t ()
 Constructs the empty range. More...
 
 range_t (int)
 Constructs a range containing a single value. More...
 
 range_t (int, int)
 Constructs an interval range. More...
 
 range_t (const std::pair< int, int > &)
 Constructs an internval range. More...
 
range_t intersect (const range_t &) const
 Constructs the intersection of two ranges. More...
 
range_t join (const range_t &) const
 Constructs the union of two ranges. More...
 
bool contains (const range_t &) const
 Returns true if the argument is contained in the range. More...
 
bool contains (int32_t) const
 Returns true if the argument is contained in the range. More...
 
bool operator== (const range_t &) const
 Equallity operator. More...
 
bool operator!= (const range_t &) const
 Inequallity operator. More...
 
range_t operator| (const range_t &) const
 Constructs the union of two ranges. More...
 
range_t operator & (const range_t &) const
 Constructs the intersection of two ranges. More...
 
bool isEmpty () const
 Returns true if and only if the range is empty. More...
 
uint32_t size () const
 

Public Attributes

int lower
 
int upper
 

Detailed Description

An integer range.

Definition at line 41 of file symbols.h.

Constructor & Destructor Documentation

◆ range_t() [1/4]

range_t::range_t ( )

Constructs the empty range.

Definition at line 47 of file symbols.cpp.

Referenced by intersect(), join(), operator|(), and range_t().

Here is the caller graph for this function:

◆ range_t() [2/4]

range_t::range_t ( int  value)

Constructs a range containing a single value.

Definition at line 54 of file symbols.cpp.

◆ range_t() [3/4]

range_t::range_t ( int  l,
int  u 
)

Constructs an interval range.

Definition at line 59 of file symbols.cpp.

References lower, range_t(), and upper.

Here is the call graph for this function:

◆ range_t() [4/4]

UTAP::range_t::range_t ( const std::pair< int, int > &  )

Constructs an internval range.

Member Function Documentation

◆ contains() [1/2]

bool range_t::contains ( const range_t r) const

Returns true if the argument is contained in the range.

Definition at line 99 of file symbols.cpp.

References lower, and upper.

◆ contains() [2/2]

bool range_t::contains ( int32_t  value) const

Returns true if the argument is contained in the range.

Definition at line 104 of file symbols.cpp.

References lower, and upper.

◆ intersect()

range_t range_t::intersect ( const range_t r) const

Constructs the intersection of two ranges.

Definition at line 79 of file symbols.cpp.

References lower, range_t(), and upper.

Here is the call graph for this function:

◆ isEmpty()

bool range_t::isEmpty ( ) const

Returns true if and only if the range is empty.

Definition at line 109 of file symbols.cpp.

References lower, and upper.

Referenced by size().

Here is the caller graph for this function:

◆ join()

range_t range_t::join ( const range_t r) const

Constructs the union of two ranges.

Definition at line 84 of file symbols.cpp.

References lower, range_t(), and upper.

Here is the call graph for this function:

◆ operator &()

range_t UTAP::range_t::operator& ( const range_t ) const

Constructs the intersection of two ranges.

Referenced by operator|().

Here is the caller graph for this function:

◆ operator!=()

bool range_t::operator!= ( const range_t r) const

Inequallity operator.

Definition at line 74 of file symbols.cpp.

References lower, and upper.

◆ operator==()

bool range_t::operator== ( const range_t r) const

Equallity operator.

Definition at line 69 of file symbols.cpp.

References lower, and upper.

◆ operator|()

range_t range_t::operator| ( const range_t r) const

Constructs the union of two ranges.

Definition at line 89 of file symbols.cpp.

References lower, operator &(), range_t(), and upper.

Here is the call graph for this function:

◆ size()

uint32_t range_t::size ( ) const

Definition at line 114 of file symbols.cpp.

References isEmpty(), lower, UTAP::symbol_t::symbol_t(), and upper.

Here is the call graph for this function:

Member Data Documentation

◆ lower

int UTAP::range_t::lower

Definition at line 44 of file symbols.h.

Referenced by contains(), intersect(), isEmpty(), join(), operator!=(), operator==(), operator|(), range_t(), and size().

◆ upper

int UTAP::range_t::upper

Definition at line 44 of file symbols.h.

Referenced by contains(), intersect(), isEmpty(), join(), operator!=(), operator==(), operator|(), range_t(), and size().


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