_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 |