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

- d -

• DeterministicInfiniteHorizonHelperType : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• dft_results : storm::dft::modelchecker::DFTModelChecker< ValueType >
• DFTElementCPointer : storm::dft::modelchecker::DftModularizationChecker< ValueType >, storm::dft::utility::DftModularizer< ValueType >
• DFTStatePointer : storm::dft::simulator::ImportanceFunction< ValueType >
• difference_type : storm::dft::storage::FailableElements::const_iterator, storm::expressions::VariableIterator, storm::storage::BitVector::const_iterator, storm::storage::BitVector::const_reverse_iterator