|
@ -15,6 +15,7 @@ namespace storm { |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
ComparisonType OperatorFormula::getComparisonType() const { |
|
|
ComparisonType OperatorFormula::getComparisonType() const { |
|
|
|
|
|
STORM_LOG_ASSERT(operatorInformation.bound.is_initialized(), "Cannot get Formula comparison type (has no bound?)"); |
|
|
return operatorInformation.bound.get().comparisonType; |
|
|
return operatorInformation.bound.get().comparisonType; |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|