Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::geometry::Halfspace< ValueType > Member List

This is the complete list of members for storm::storage::geometry::Halfspace< ValueType >, including all inherited members.

contains(std::vector< ValueType > const &point) conststorm::storage::geometry::Halfspace< ValueType >inline
distance(std::vector< ValueType > const &point) conststorm::storage::geometry::Halfspace< ValueType >inline
euclideanDistance(std::vector< ValueType > const &point) conststorm::storage::geometry::Halfspace< ValueType >inline
Halfspace(std::vector< ValueType > const &normalVector, ValueType const &offset)storm::storage::geometry::Halfspace< ValueType >inline
Halfspace(std::vector< ValueType > &&normalVector, ValueType &&offset)storm::storage::geometry::Halfspace< ValueType >inline
invert() conststorm::storage::geometry::Halfspace< ValueType >inline
isPointOnBoundary(std::vector< ValueType > const &point) conststorm::storage::geometry::Halfspace< ValueType >inline
normalVector() conststorm::storage::geometry::Halfspace< ValueType >inline
normalVector()storm::storage::geometry::Halfspace< ValueType >inline
offset() conststorm::storage::geometry::Halfspace< ValueType >inline
offset()storm::storage::geometry::Halfspace< ValueType >inline
toExpression(storm::expressions::ExpressionManager const &manager, std::vector< storm::expressions::Variable > const &variables)storm::storage::geometry::Halfspace< ValueType >inline
toString(bool numbersAsDouble=false) conststorm::storage::geometry::Halfspace< ValueType >inline