Here is a list of all typedefs with links to the classes they belong to:

- g -

• GeneratorType : storm::modelchecker::helper::rewardbounded::CostLimitClosure