storm::jani::PropertyInterval Struct Reference

Property intervals as per Jani Specification. More...

#include <Property.h>

Collaboration diagram for storm::jani::PropertyInterval:

Public Member Functions
bool	hasLowerBound () const
bool	hasUpperBound () const

Public Attributes
storm::expressions::Expression	lowerBound
bool	lowerBoundStrict = false
storm::expressions::Expression	upperBound
bool	upperBoundStrict = false

Detailed Description

Property intervals as per Jani Specification.

Currently mainly used to help parsing.

Definition at line 21 of file Property.h.

Member Function Documentation

hasLowerBound()

bool storm::jani::PropertyInterval::hasLowerBound ( ) const

inline

Definition at line 27 of file Property.h.

hasUpperBound()

bool storm::jani::PropertyInterval::hasUpperBound ( ) const

inline

Definition at line 31 of file Property.h.

Member Data Documentation

lowerBound

storm::expressions::Expression storm::jani::PropertyInterval::lowerBound

Definition at line 22 of file Property.h.

lowerBoundStrict

bool storm::jani::PropertyInterval::lowerBoundStrict = false

Definition at line 23 of file Property.h.

upperBound

storm::expressions::Expression storm::jani::PropertyInterval::upperBound

Definition at line 24 of file Property.h.

upperBoundStrict

bool storm::jani::PropertyInterval::upperBoundStrict = false

Definition at line 25 of file Property.h.

---

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

• src/storm/storage/jani/Property.h