![]() |
irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
|
#include <condition.h>

Public Member Functions | |
| Condition () | |
| constructor More... | |
| Condition (const std::vector< Point > &points, GEOMETRY geometry) | |
| constructor with given points More... | |
| Condition (const std::vector< capd::interval > &constraints, GEOMETRY geometry) | |
| constructor with given constraints More... | |
| Condition (const GeoEntity &geoEntity) | |
| constructor with given geometry entity More... | |
| Condition (const Point ¢er, double radius, GEOMETRY geometry) | |
| constructor with given center, radius More... | |
| Condition (const capd::C0Rect2Set &set, GEOMETRY geometry) | |
| constructor with given set More... | |
| ~Condition ()=default | |
| destructor More... | |
| capd::IVector | constraints () const |
| get the constraints of the condition More... | |
| GeoEntity | entity () const |
| get the geometry entity of the condition More... | |
| bool | empty () const |
| check if the condition is empty or not More... | |
| int | dimension () const |
| get the dimension of the condition More... | |
| bool | intersect (const Condition &rhs, Condition &result) const |
| get the intersection between two conditions More... | |
| Condition | unite (const Condition &rhs) const |
| get the union of the two conditions More... | |
| Point | randInnerPoint () const |
| get an point from the condition randomly More... | |
| Point | centroid () const |
| get the centroid of the condition More... | |
| bool | contains (const Condition &rhs) const |
| check if the current condition contains the given condition More... | |
| bool | contains (const Point &point) const |
| check if the current condition contains the given point More... | |
| std::vector< Point > | vertices () const |
| get the extrem vertices of the condtion More... | |
| capd::C0Rect2Set | set () const |
| get the set representation of the current condition More... | |
Static Public Member Functions | |
| static Condition | Empty (GEOMETRY geometry=GEOMETRY::INTERVAL_HULL, std::size_t dimension=0) |
| constructor for empty condition More... | |
Private Attributes | |
| GeoEntity | geoEntity_ |
| entity of the condition More... | |
| irafhy::Condition::Condition | ( | ) |
constructor
References irafhy::IntervalHull::Empty(), and geoEntity_.
Referenced by Empty(), intersect(), and unite().

constructor with given points
| points | given points |
| geometry | kind of the geometry entity |
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
|
explicit |
constructor with given constraints
| constraints | given constraints |
| geometry | kind of the geometry entity |
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
|
explicit |
constructor with given geometry entity
| geoEntity | given geometry entity |
References geoEntity_.
constructor with given center, radius
| center | center of the geometry object |
| radius | radius used for geometry object constructing |
| geometry | kind of the geometry entity |
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
| irafhy::Condition::Condition | ( | const capd::C0Rect2Set & | set, |
| GEOMETRY | geometry | ||
| ) |
constructor with given set
| set | the given capd set |
| geometry | kind of the geometry entity |
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
|
default |
destructor
| Point irafhy::Condition::centroid | ( | ) | const |
get the centroid of the condition
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
| capd::IVector irafhy::Condition::constraints | ( | ) | const |
get the constraints of the condition
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
| bool irafhy::Condition::contains | ( | const Condition & | rhs | ) | const |
check if the current condition contains the given condition
| rhs | the right hand side condition |
References entity(), geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.

| bool irafhy::Condition::contains | ( | const Point & | point | ) | const |
check if the current condition contains the given point
| point | the right hand side point |
| int irafhy::Condition::dimension | ( | ) | const |
get the dimension of the condition
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
Referenced by intersect().
|
static |
constructor for empty condition
| geometry | kind of the geometry entity |
| dimension | dimension of the condition |
References Condition(), irafhy::IntervalHull::Empty(), irafhy::Polytope::Empty(), irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
Referenced by irafhy::SettingsVisitor::visitInitialconditionsetting().

| bool irafhy::Condition::empty | ( | ) | const |
check if the condition is empty or not
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
Referenced by irafhy::Settings::initCondition(), and irafhy::Settings::setInitCondition().
| GeoEntity irafhy::Condition::entity | ( | ) | const |
get the geometry entity of the condition
References geoEntity_.
Referenced by contains(), intersect(), irafhy::operator<<(), and unite().
get the intersection between two conditions
| rhs | the right hand side condition |
| result | intersection condition |
References Condition(), dimension(), irafhy::IntervalHull::Empty(), entity(), geoEntity_, irafhy::IntervalHull::intersect(), irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.

| Point irafhy::Condition::randInnerPoint | ( | ) | const |
get an point from the condition randomly
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
| capd::C0Rect2Set irafhy::Condition::set | ( | ) | const |
get the set representation of the current condition
References irafhy::IntervalHull::constraints(), irafhy::IntervalHull::dimension(), geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.

get the union of the two conditions
| rhs | the right hand side condition |
References Condition(), entity(), geoEntity_, irafhy::INTERVAL_HULL, irafhy::POLYTOPE, and irafhy::IntervalHull::unite().

| std::vector< Point > irafhy::Condition::vertices | ( | ) | const |
get the extrem vertices of the condtion
References geoEntity_, irafhy::INTERVAL_HULL, and irafhy::POLYTOPE.
|
private |
entity of the condition
Referenced by centroid(), Condition(), constraints(), contains(), dimension(), empty(), entity(), intersect(), randInnerPoint(), set(), unite(), and vertices().