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

- a -

• acceptance_expr : storm::automata::AcceptanceCondition
• ActionInstantiations : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >
• ActionType : storm::modelchecker::exploration_detail::Bounds< StateType, ValueType >, storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::modelchecker::SparseExplorationModelChecker< ModelType, StateType >
• alphabet_element : storm::automata::APSet
• ap_to_formula_map : storm::logic::HOAPathFormula
• approximation_result : storm::dft::modelchecker::DFTModelChecker< ValueType >
• ApToFormulaMap : storm::logic::ExtractMaximalStateFormulasVisitor
• ArrayAccessIndices : storm::jani::detail::ArrayExpressionEliminationVisitor