Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
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: