storm::storage::geometry::Halfspace< ValueType > Class Template Reference

#include <Halfspace.h>

Public Member Functions
	Halfspace (std::vector< ValueType > const &normalVector, ValueType const &offset)
	Halfspace (std::vector< ValueType > &&normalVector, ValueType &&offset)
bool	contains (std::vector< ValueType > const &point) const
ValueType	distance (std::vector< ValueType > const &point) const
ValueType	euclideanDistance (std::vector< ValueType > const &point) const
bool	isPointOnBoundary (std::vector< ValueType > const &point) const
Halfspace< ValueType >	invert () const
std::string	toString (bool numbersAsDouble=false) const
storm::expressions::Expression	toExpression (storm::expressions::ExpressionManager const &manager, std::vector< storm::expressions::Variable > const &variables)
std::vector< ValueType > const &	normalVector () const
std::vector< ValueType > &	normalVector ()
ValueType const &	offset () const
ValueType &	offset ()

Detailed Description

template<typename ValueType>
class storm::storage::geometry::Halfspace< ValueType >

Definition at line 19 of file Halfspace.h.

Constructor & Destructor Documentation

Halfspace() [1/2]

template<typename ValueType>

storm::storage::geometry::Halfspace< ValueType >::Halfspace ( std::vector< ValueType > const & normalVector, ValueType const & offset )

inline

Definition at line 21 of file Halfspace.h.

Halfspace() [2/2]

template<typename ValueType>

storm::storage::geometry::Halfspace< ValueType >::Halfspace ( std::vector< ValueType > && normalVector, ValueType && offset )

inline

Definition at line 25 of file Halfspace.h.

Member Function Documentation

contains()

template<typename ValueType>

bool storm::storage::geometry::Halfspace< ValueType >::contains ( std::vector< ValueType > const & point ) const

inline

Definition at line 32 of file Halfspace.h.

distance()

template<typename ValueType>

ValueType storm::storage::geometry::Halfspace< ValueType >::distance ( std::vector< ValueType > const & point ) const

inline

Definition at line 42 of file Halfspace.h.

euclideanDistance()

template<typename ValueType>

ValueType storm::storage::geometry::Halfspace< ValueType >::euclideanDistance ( std::vector< ValueType > const & point ) const

inline

Definition at line 51 of file Halfspace.h.

invert()

template<typename ValueType>

Halfspace< ValueType > storm::storage::geometry::Halfspace< ValueType >::invert ( ) const

inline

Definition at line 66 of file Halfspace.h.

isPointOnBoundary()

template<typename ValueType>

bool storm::storage::geometry::Halfspace< ValueType >::isPointOnBoundary ( std::vector< ValueType > const & point ) const

inline

Definition at line 59 of file Halfspace.h.

normalVector() [1/2]

template<typename ValueType>

std::vector< ValueType > & storm::storage::geometry::Halfspace< ValueType >::normalVector ( )

inline

Definition at line 115 of file Halfspace.h.

normalVector() [2/2]

template<typename ValueType>

std::vector< ValueType > const & storm::storage::geometry::Halfspace< ValueType >::normalVector ( ) const

inline

Definition at line 111 of file Halfspace.h.

offset() [1/2]

template<typename ValueType>

ValueType & storm::storage::geometry::Halfspace< ValueType >::offset ( )

inline

Definition at line 123 of file Halfspace.h.

offset() [2/2]

template<typename ValueType>

ValueType const & storm::storage::geometry::Halfspace< ValueType >::offset ( ) const

inline

Definition at line 119 of file Halfspace.h.

toExpression()

template<typename ValueType>

storm::expressions::Expression storm::storage::geometry::Halfspace< ValueType >::toExpression ( storm::expressions::ExpressionManager const & manager, std::vector< storm::expressions::Variable > const & variables )

inline

Definition at line 100 of file Halfspace.h.

toString()

template<typename ValueType>

std::string storm::storage::geometry::Halfspace< ValueType >::toString ( bool numbersAsDouble = false ) const

inline

Definition at line 76 of file Halfspace.h.

---

The documentation for this class was generated from the following file:

• src/storm/storage/geometry/Halfspace.h