FormulaContext.h

Go to the documentation of this file.

#ifndef STORM_LOGIC_FORMULACONTEXT_H_
#define STORM_LOGIC_FORMULACONTEXT_H_
 
#include <iosfwd>
 
namespace storm {
namespace logic {
 
enum class FormulaContext { Undefined, Probability, Reward, LongRunAverage, Time };
std::ostream& operator<<(std::ostream& out, FormulaContext const& formulaContext);
}  // namespace logic
}  // namespace storm
 
#endif /* STORM_LOGIC_FORMULACONTEXT_H_ */