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 20 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 22 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 26 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 33 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 43 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 52 of file Halfspace.h.

invert()

template<typename ValueType >

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

inline

Definition at line 67 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 60 of file Halfspace.h.

normalVector() [1/2]

template<typename ValueType >

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

inline

Definition at line 116 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 112 of file Halfspace.h.

offset() [1/2]

template<typename ValueType >

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

inline

Definition at line 124 of file Halfspace.h.

offset() [2/2]

template<typename ValueType >

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

inline

Definition at line 120 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 101 of file Halfspace.h.

toString()

template<typename ValueType >

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

inline

Definition at line 77 of file Halfspace.h.

---

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

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