![]() |
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().