storm::logic::TimeBound Class Reference

#include <TimeBound.h>

Public Member Functions
	TimeBound (bool strict, storm::expressions::Expression const &bound)
storm::expressions::Expression const &	getBound () const
bool	isStrict () const

Detailed Description

Definition at line 8 of file TimeBound.h.

Constructor & Destructor Documentation

TimeBound()

storm::logic::TimeBound::TimeBound	(	bool	strict,
		storm::expressions::Expression const &	bound
	)

Definition at line 6 of file TimeBound.cpp.

Member Function Documentation

getBound()

storm::expressions::Expression const & storm::logic::TimeBound::getBound

(

)

const

Definition at line 10 of file TimeBound.cpp.

isStrict()

bool storm::logic::TimeBound::isStrict

(

)

const

Definition at line 14 of file TimeBound.cpp.

---

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

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