storm::storage::IntegerInterval Class Reference

#include <IntegerInterval.h>

Public Member Functions
	IntegerInterval (int64_t v)
	IntegerInterval (int64_t lb, int64_t rb)
bool	hasLeftBound () const
bool	hasRightBound () const
bool	contains (int64_t val) const
bool	contains (IntegerInterval const &i) const
void	extend (int64_t val)
void	extend (IntegerInterval const &i)
boost::optional< int64_t >	getLeftBound () const
boost::optional< int64_t >	getRightBound () const

Detailed Description

Definition at line 7 of file IntegerInterval.h.

Constructor & Destructor Documentation

IntegerInterval() [1/2]

storm::storage::IntegerInterval::IntegerInterval ( int64_t v )

inlineexplicit

Definition at line 9 of file IntegerInterval.h.

IntegerInterval() [2/2]

storm::storage::IntegerInterval::IntegerInterval ( int64_t lb, int64_t rb )

inline

Definition at line 11 of file IntegerInterval.h.

Member Function Documentation

contains() [1/2]

bool storm::storage::IntegerInterval::contains ( int64_t val ) const

inline

Definition at line 21 of file IntegerInterval.h.

contains() [2/2]

bool storm::storage::IntegerInterval::contains ( IntegerInterval const & i ) const

inline

Definition at line 35 of file IntegerInterval.h.

extend() [1/2]

void storm::storage::IntegerInterval::extend ( int64_t val )

inline

Definition at line 55 of file IntegerInterval.h.

extend() [2/2]

void storm::storage::IntegerInterval::extend ( IntegerInterval const & i )

inline

Definition at line 69 of file IntegerInterval.h.

getLeftBound()

boost::optional< int64_t > storm::storage::IntegerInterval::getLeftBound ( ) const

inline

Definition at line 78 of file IntegerInterval.h.

getRightBound()

boost::optional< int64_t > storm::storage::IntegerInterval::getRightBound ( ) const

inline

Definition at line 82 of file IntegerInterval.h.

hasLeftBound()

bool storm::storage::IntegerInterval::hasLeftBound ( ) const

inline

Definition at line 13 of file IntegerInterval.h.

hasRightBound()

bool storm::storage::IntegerInterval::hasRightBound ( ) const

inline

Definition at line 17 of file IntegerInterval.h.

---

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

• src/storm/storage/IntegerInterval.h