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