23 "Expected eventually formula within time operator. Got " << f <<
" instead.");
24 std::shared_ptr<Formula> subsubformula =
27 "Expected time path formula within time operator. Got " << f <<
" instead.");
29 return std::static_pointer_cast<Formula>(std::make_shared<RewardOperatorFormula>(subformula, timeRewardModelName, f.
getOperatorInformation()));