Here is a list of all namespace functions with links to the namespace documentation for each function:

- g -

• gatherOccurringVariables() : storm::utility::parametric
• generateCounterexamples() : storm::cli
• generateCounterexamples< double >() : storm::cli
• generatePlaceholders() : storm::io
• getAllKnownModelFeatures() : storm::jani
• getAllOperands() : storm::expressions
• getAllParameters() : storm::models::sparse
• getAtomicExpressions() : storm::expressions
• getAutomataAccessingVariable() : storm::jani::detail
• getBFSSort() : storm::utility::graph
• getBitWidthLowerUpperBound() : storm::generator
• getBoolean() : storm::parser
• getBoundsFromConstraints() : storm::jani
• getBsccCover() : storm::utility::graph
• getBuilderType() : storm::utility
• getCache() : storm::transformer
• getComponentElementChoiceCount() : storm::modelchecker::helper::internal
• getComponentElementChoicesBegin() : storm::modelchecker::helper::internal
• getComponentElementChoicesEnd() : storm::modelchecker::helper::internal
• getComponentElementState() : storm::modelchecker::helper::internal
• getConstrainedOffsetVector() : storm::utility::vector
• getCurrentWorkingDirectory() : storm::utility::cli
• getCutoffScheduler() : storm::pomdp::api
• getDistanceBasedPriorities() : storm::utility::stateelimination
• getDistances() : storm::utility::graph
• getEncodingRec() : storm::dd
• getEngines() : storm::utility
• getFlatSccDecomposition() : storm::storage
• getFormulaInformation() : storm::pomdp::analysis
• getFormulaInformation< storm::models::sparse::Pomdp< double > >() : storm::pomdp::analysis
• getFormulaInformation< storm::models::sparse::Pomdp< storm::RationalNumber > >() : storm::pomdp::analysis
• getGap() : storm::pomdp::modelchecker
• getGoalMemory() : storm::transformer
• getGuaranteedLabelSet() : storm::counterexamples
• getGuaranteedLabelSets() : storm::counterexamples
• getGurobiSolverMethods() : storm::solver
• getline() : storm::io
• getLogLevel() : storm::utility
• getLowerBoundForNonZeroReachProb() : storm::modelchecker::multiobjective
• getLowerUpperBound() : storm::modelchecker::helper::rewardbounded
• getLpSolver() : storm::utility::solver
• getLpSolverFactory() : storm::utility::solver
• getMemoryLimit() : storm::utility::resources
• getModelExportFormatFromFileExtension() : storm::io
• getModelExportFormatFromString() : storm::io
• getModelProcessingInformation() : storm::cli
• getModelProcessingInformationAutomatic() : storm::cli
• getModelType() : storm::jani, storm::models
• getModule() : storm::settings
• getMostProbablePathSpanningTree() : storm::gbar::abstraction
• getNextCandidateCostLimit() : storm::modelchecker::helper::rewardbounded
• getNumberOfPreprocessingSchedulers() : storm::pomdp::api
• getNumberOfThreads() : storm::utility
• getOccurringFunctionCalls() : storm::jani
• getOnlyReachableViaPhi() : storm::modelchecker::multiobjective::preprocessing
• getOperatorInformation() : storm::modelchecker::multiobjective::preprocessing
• getParameters() : storm::dft::storage, storm::io
• getParametricModeFromString() : storm::pars::utility
• getProbabilityParameters() : storm::models::sparse
• getPropertyType() : storm::utility::pfinternal
• getQualitativeStateSetsReachabilityRewards() : storm::modelchecker::helper
• getQualitativeStateSetsReachabilityRewardsFromHint() : storm::modelchecker::helper
• getQualitativeStateSetsUntilProbabilities() : storm::modelchecker::helper
• getQualitativeStateSetsUntilProbabilitiesFromHint() : storm::modelchecker::helper
• getRateParameters() : storm::models::sparse
• getRawLpSolver() : storm::utility::solver
• getReachableOneStep() : storm::utility::graph
• getReachableStates() : storm::utility::graph
• getRewardModelParameters() : storm::models::sparse
• getRewardParameters() : storm::models::sparse
• getRowColumnDiagonal() : storm::utility::dd
• getSignedInt() : storm::parser
• getSmtSolver() : storm::utility::solver
• getSortedIndices() : storm::utility::vector
• getStateDistances() : storm::utility::stateelimination
• getStateName() : storm::gbar::abstraction
• getStates() : storm::pomdp::analysis
• getStateSet() : storm::pomdp::analysis
• getStreettSet() : storm::modelchecker::helper::lexicographic
• getString() : storm::parser, storm::storage
• getSupportedJaniFeatures() : storm::api, storm::builder
• getTerminalStatesFromFormula() : storm::builder
• getTopologicalSort() : storm::utility::graph
• getTotalRewardVector() : storm::modelchecker::multiobjective
• getUniqueVarName() : storm::builder
• getUnsignedInt() : storm::parser
• getUntilFormulaMemory() : storm::transformer
• getVariableName() : storm::expressions
• getVariables() : storm::utility::vector
• guessCandidate() : storm::solver::helper
• gurobiSolverMethodFromString() : storm::solver