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

- c -

• cache : storm::transformer::RationalFunctionConstructor
• cachedExtremumIndex : storm::solver::TerminateIfFilteredExtremumBelowThreshold< ValueType >, storm::solver::TerminateIfFilteredExtremumExceedsThreshold< ValueType >
• cachedRowVector : storm::solver::LinearEquationSolver< ValueType >
• cachedVector : storm::solver::Multiplier< ValueType >
• canonicFlag : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• cartesianProducts : storm::pars::SampleInformation< ValueType >
• changed : storm::pars::PreprocessResult
• checkHasBeenCalled : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• checkThresholdFeasible : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::Options
• checkTransitionsOutside : storm::transformer::SubsystemBuilderOptions
• choiceFixedForRowGroup : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• choiceLabelId : storm::transformer::detail::ActionIdentifier
• choiceLabeling : storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• choiceOriginId : storm::transformer::detail::ActionIdentifier
• choiceOrigins : storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• choices : storm::parser::NondeterministicSparseTransitionParser< ValueType >::FirstPassResult
• choiceVariables : storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• clippingGridRes : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• columnMetaVariables : storm::builder::CompositionVariables< Type, ValueType >, storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >, storm::solver::SymbolicGameSolver< Type, ValueType >, storm::solver::SymbolicLinearEquationSolver< DdType, ValueType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• columnVariablesCube : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• commandIndicesPtr : storm::generator::ActiveCommandData
• commitsAhead : storm::StormVersion
• comparator : storm::generator::NextStateGenerator< ValueType, StateType >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• comparisonType : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::CexInput, storm::logic::Bound
• components : storm::jani::ConditionalMetaEdge
• computeUpperBounds : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• condition : storm::jani::ConditionalMetaEdge
• considersComplementaryEvent : storm::modelchecker::multiobjective::Objective< ValueType >
• constantDefinitions : storm::builder::DdJaniModelBuilder< Type, ValueType >::Options
• constants : storm::parser::GlobalProgramInformation, storm::parser::JaniParser< ValueType >::Scope
• constraints : storm::gbar::abstraction::AbstractionInformation< DdType >, storm::gbar::abstraction::AbstractionInformationOptions, storm::gbar::abstraction::MenuGameAbstractorOptions, storm::gbar::api::AbstractionRefinementOptions, storm::gbar::modelchecker::GameBasedMdpModelCheckerOptions
• continueAfterFirstCounterexampleUntil : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::Options
• continuousTime : storm::utility::pfinternal::Features
• createChangedStates : storm::dd::bisimulation::InternalSignatureRefinerOptions
• currentCapacity : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• currentCheckTask : storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• currentCommandIndex : storm::parser::GlobalProgramInformation
• currentCommandIndexIt : storm::generator::ActiveCommandData
• currentModelHasBeenOptimized : storm::solver::LpSolver< ValueType, RawMode >
• CurrentStage : storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >
• currentState : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >, storm::simulator::DiscreteTimeSparseModelSimulator< ValueType, RewardModelType >
• currentUpdateIndex : storm::parser::GlobalProgramInformation
• cutoffSchedulers : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >::Result
• cutTime : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::GeneratorStats
• cutZeroGap : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• cxxCompiler : storm::StormVersion
• cxxFlags : storm::StormVersion