| _twin | frechet::reach::BoundarySegment | |
| BLinkedListElement() | frechet::data::BLinkedListElement | |
| bordersTo(const Interval &that) const | frechet::data::Interval | inline |
| BoundarySegment(const Interval &ival, Orientation ori, Direction dir, Type t, void *owner=nullptr) | frechet::reach::BoundarySegment | |
| clear() | frechet::reach::BoundarySegment | inline |
| clearClone() const | frechet::reach::BoundarySegment | inline |
| clone | frechet::reach::BoundarySegment | |
| clone() const | frechet::reach::BoundarySegment | inline |
| contains(double x) const | frechet::reach::BoundarySegment | inline |
| contains(Pointer p) const | frechet::reach::BoundarySegment | inline |
| frechet::data::Interval::contains(double x, double precision) const | frechet::data::Interval | inline |
| frechet::data::Interval::contains(const Interval &that) const | frechet::data::Interval | inline |
| createClone() const | frechet::reach::BoundarySegment | inline |
| dir | frechet::reach::BoundarySegment | |
| empty() const | frechet::data::Interval | inline |
| equals(double a, double b) | frechet::data::Interval | inlinestatic |
| equals(const Interval &that, double precision) const | frechet::data::Interval | inline |
| h | frechet::reach::PointerInterval | |
| intersects(const Interval &that) const | frechet::data::Interval | inline |
| intersects_proper(const Interval &that) const | frechet::data::Interval | inline |
| Interval() | frechet::data::Interval | inline |
| Interval(double lower, double upper) | frechet::data::Interval | inline |
| Interval(const Interval &that) | frechet::data::Interval | inline |
| Interval(const Interval &that, double shift) | frechet::data::Interval | inline |
| INVALID | frechet::data::Interval | static |
| l | frechet::reach::PointerInterval | |
| link | frechet::data::BLinkedListElement | protected |
| LinkedListElement() | frechet::data::LinkedListElement< BoundarySegment > | inline |
| lower() const | frechet::data::Interval | inline |
| lower() | frechet::data::Interval | inline |
| mapFrom(double x, const Interval &other) const | frechet::data::Interval | inline |
| mapFromUnitInterval(double x) const | frechet::data::Interval | inline |
| mapTo(double x, const Interval &other) const | frechet::data::Interval | inline |
| mapToUnitInterval(double x) const | frechet::data::Interval | inline |
| mid() const | frechet::data::Interval | inline |
| next() const | frechet::data::LinkedListElement< BoundarySegment > | inline |
| next(bool forward) | frechet::data::LinkedListElement< BoundarySegment > | inline |
| frechet::data::BLinkedListElement::next() | frechet::data::BLinkedListElement | inline |
| normalize() | frechet::data::Interval | inline |
| frechet::normalized() const | frechet::data::Interval | inline |
| frechet::reach::PointerInterval::normalized() const | frechet::reach::PointerInterval | |
| operator &(const Interval &that) const | frechet::data::Interval | inline |
| operator *(double factor) const | frechet::data::Interval | inline |
| operator *=(double factor) | frechet::data::Interval | inline |
| frechet::operator bool() const | frechet::data::Interval | inline |
| frechet::reach::PointerInterval::operator bool() const | frechet::reach::PointerInterval | |
| frechet::operator!() const | frechet::data::Interval | inline |
| frechet::reach::PointerInterval::operator!() const | frechet::reach::PointerInterval | |
| operator!=(const Interval &that) const | frechet::data::Interval | inline |
| operator&=(const Interval &that) | frechet::data::Interval | inline |
| frechet::operator+(double offset) const | frechet::data::Interval | inline |
| frechet::operator+(const Interval &that) const | frechet::data::Interval | inline |
| frechet::reach::PointerInterval::operator+(const PointerInterval &that) const | frechet::reach::PointerInterval | |
| operator+=(double offset) | frechet::data::Interval | inline |
| operator+=(const Interval &that) | frechet::data::Interval | inline |
| operator-(double offset) const | frechet::data::Interval | inline |
| operator-(const Interval &that) const | frechet::data::Interval | inline |
| operator-=(double offset) | frechet::data::Interval | inline |
| operator-=(const Interval &that) | frechet::data::Interval | inline |
| operator/(double factor) const | frechet::data::Interval | inline |
| operator/=(double factor) | frechet::data::Interval | inline |
| operator=(const PointerInterval &lh) | frechet::reach::BoundarySegment | inline |
| frechet::data::Interval::operator=(const Interval &that) | frechet::data::Interval | inline |
| frechet::reach::PointerInterval::operator=(const Pointer &p) | frechet::reach::PointerInterval | |
| operator==(const BoundarySegment &that) const | frechet::reach::BoundarySegment | inline |
| frechet::data::Interval::operator==(const Interval &that) const | frechet::data::Interval | inline |
| frechet::reach::PointerInterval::operator==(const PointerInterval &that) const | frechet::reach::PointerInterval | inline |
| ori | frechet::reach::BoundarySegment | |
| PointerInterval() | frechet::reach::PointerInterval | |
| PointerInterval(Pointer a, Pointer b) | frechet::reach::PointerInterval | |
| prev() const | frechet::data::LinkedListElement< BoundarySegment > | inline |
| frechet::data::BLinkedListElement::prev() | frechet::data::BLinkedListElement | inline |
| setLower(double value) | frechet::data::Interval | inline |
| setUpper(double value) | frechet::data::Interval | inline |
| size() const | frechet::data::Interval | inline |
| Structure class | frechet::reach::BoundarySegment | friend |
| swap(bool doit=true) | frechet::reach::PointerInterval | |
| swapped() const | frechet::reach::PointerInterval | |
| temp | frechet::reach::BoundarySegment | private |
| twin(int hops) | frechet::reach::BoundarySegment | inlineprivate |
| type | frechet::reach::BoundarySegment | |
| union_lf(const Interval &that) | frechet::data::Interval | |
| UNIT | frechet::data::Interval | static |
| upper() const | frechet::data::Interval | inline |
| upper() | frechet::data::Interval | inline |
| valid() const | frechet::data::Interval | inline |