libutap
0.93
Uppaal Timed Automata Parser
|
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 |
range_t::range_t | ( | ) |
Constructs the empty range.
Definition at line 47 of file symbols.cpp.
Referenced by intersect(), join(), operator|(), and range_t().
range_t::range_t | ( | int | value | ) |
Constructs a range containing a single value.
Definition at line 54 of file symbols.cpp.
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.
UTAP::range_t::range_t | ( | const std::pair< int, int > & | ) |
Constructs an internval range.
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.
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.
Constructs the intersection of two ranges.
Definition at line 79 of file symbols.cpp.
References lower, range_t(), and upper.
bool range_t::isEmpty | ( | ) | const |
Returns true if and only if the range is empty.
Definition at line 109 of file symbols.cpp.
Referenced by size().
Constructs the union of two ranges.
Definition at line 84 of file symbols.cpp.
References lower, range_t(), and upper.
Constructs the intersection of two ranges.
Referenced by operator|().
bool range_t::operator!= | ( | const range_t & | r | ) | const |
bool 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.
uint32_t range_t::size | ( | ) | const |
Definition at line 114 of file symbols.cpp.
References isEmpty(), lower, UTAP::symbol_t::symbol_t(), and upper.
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().
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().