storm::logic::Bound Struct Reference

#include <Bound.h>

Collaboration diagram for storm::logic::Bound:

Public Member Functions
	Bound (ComparisonType comparisonType, storm::expressions::Expression const &threshold)
template<typename ValueType >
bool	isSatisfied (ValueType const &compareValue) const
storm::RationalNumber	evaluateThresholdAsRational () const
template<typename ValueType >
ValueType	evaluateThresholdAs () const
bool	isLowerBound () const
Bound	getInvertedBound () const

Public Attributes
ComparisonType	comparisonType
storm::expressions::Expression	threshold

Friends
std::ostream &	operator<< (std::ostream &out, Bound const &bound)

Detailed Description

Definition at line 13 of file Bound.h.

Constructor & Destructor Documentation

Bound()

storm::logic::Bound::Bound ( ComparisonType  comparisonType, storm::expressions::Expression const &  threshold  )

inline

Definition at line 14 of file Bound.h.

Member Function Documentation

evaluateThresholdAs()

template<typename ValueType >

template storm::RationalFunction storm::logic::Bound::evaluateThresholdAs

(

)

const

Definition at line 27 of file Bound.cpp.

evaluateThresholdAsRational()

storm::RationalNumber storm::logic::Bound::evaluateThresholdAsRational

(

)

const

Definition at line 22 of file Bound.cpp.

getInvertedBound()

Bound storm::logic::Bound::getInvertedBound ( ) const

inline

Definition at line 33 of file Bound.h.

isLowerBound()

bool storm::logic::Bound::isLowerBound ( ) const

inline

Definition at line 29 of file Bound.h.

isSatisfied()

template<typename ValueType >

template bool storm::logic::Bound::isSatisfied

(

ValueType const &

compareValue

)

const

Definition at line 7 of file Bound.cpp.

Friends And Related Symbol Documentation

operator<<

std::ostream & operator<< ( std::ostream &  out, Bound const &  bound  )

friend

Definition at line 40 of file Bound.h.

Member Data Documentation

comparisonType

ComparisonType storm::logic::Bound::comparisonType

Definition at line 18 of file Bound.h.

threshold

storm::expressions::Expression storm::logic::Bound::threshold

Definition at line 19 of file Bound.h.

---

The documentation for this struct was generated from the following files:

• src/storm/logic/Bound.h
• src/storm/logic/Bound.cpp