storm::jani::Model Member List

This is the complete list of members for storm::jani::Model, including all inherited members.

addAction(Action const &action)	storm::jani::Model
addAutomaton(Automaton const &automaton)	storm::jani::Model
addConstant(Constant const &constant)	storm::jani::Model
addFunctionDefinition(FunctionDefinition const &functionDefinition)	storm::jani::Model
addNonTrivialRewardExpression(std::string const &identifier, storm::expressions::Expression const &rewardExpression)	storm::jani::Model
addVariable(Variable const &variable)	storm::jani::Model
checkValid() const	storm::jani::Model
containsArrayVariables() const	storm::jani::Model
decodeAutomatonAndEdgeIndices(uint64_t index)	storm::jani::Model	static
defineUndefinedConstants(std::map< storm::expressions::Variable, storm::expressions::Expression > const &constantDefinitions) const	storm::jani::Model
eliminateArrays(bool keepNonTrivialArrayAccess=false)	storm::jani::Model
eliminateArrays(std::vector< Property > &properties)	storm::jani::Model
encodeAutomatonAndEdgeIndices(uint64_t automatonIndex, uint64_t edgeIndex)	storm::jani::Model	static
Exporter	storm::jani::Model	friend
finalize()	storm::jani::Model
flattenComposition(std::shared_ptr< storm::utility::solver::SmtSolverFactory > const &smtSolverFactory=std::make_shared< storm::utility::solver::SmtSolverFactory >()) const	storm::jani::Model
getAction(uint64_t index) const	storm::jani::Model
getActionIndex(std::string const &name) const	storm::jani::Model
getActionIndexToNameMap() const	storm::jani::Model
getActionNames(bool includeSilent=true) const	storm::jani::Model
getActions() const	storm::jani::Model
getActionToIndexMap() const	storm::jani::Model
getAllExpressionVariables(bool includeLocationExpressionVariables=false) const	storm::jani::Model
getAllLocationExpressionVariables() const	storm::jani::Model
getAllRangeExpressions(std::vector< std::reference_wrapper< storm::jani::Automaton const > > const &automata={}) const	storm::jani::Model
getAllRewardModelExpressions() const	storm::jani::Model
getAutomata()	storm::jani::Model
getAutomata() const	storm::jani::Model
getAutomaton(std::string const &name)	storm::jani::Model
getAutomaton(uint64_t index)	storm::jani::Model
getAutomaton(uint64_t index) const	storm::jani::Model
getAutomaton(std::string const &name) const	storm::jani::Model
getAutomatonIndex(std::string const &name) const	storm::jani::Model
getConstant(std::string const &name) const	storm::jani::Model
getConstants() const	storm::jani::Model
getConstants()	storm::jani::Model
getConstantsSubstitution() const	storm::jani::Model
getExpressionManager() const	storm::jani::Model
getGlobalFunctionDefinitions() const	storm::jani::Model
getGlobalFunctionDefinitions()	storm::jani::Model
getGlobalVariable(std::string const &name) const	storm::jani::Model
getGlobalVariables()	storm::jani::Model
getGlobalVariables() const	storm::jani::Model
getInitialStatesExpression() const	storm::jani::Model
getInitialStatesExpression(std::vector< std::reference_wrapper< storm::jani::Automaton const > > const &automata) const	storm::jani::Model
getInitialStatesRestriction() const	storm::jani::Model
getJaniVersion() const	storm::jani::Model
getLabelExpression(Variable const &transientVariable, std::vector< std::reference_wrapper< Automaton const > > const &automata) const	storm::jani::Model
getLabelExpression(Variable const &transientVariable) const	storm::jani::Model
getManager() const	storm::jani::Model
getModelFeatures() const	storm::jani::Model
getModelFeatures()	storm::jani::Model
getModelInformation() const	storm::jani::Model
getModelType() const	storm::jani::Model
getName() const	storm::jani::Model
getNonsilentActionIndices() const	storm::jani::Model
getNonTrivialRewardExpressions() const	storm::jani::Model
getNonTrivialRewardExpressions()	storm::jani::Model
getNumberOfAutomata() const	storm::jani::Model
getNumberOfEdges() const	storm::jani::Model
getRewardModelExpression(std::string const &identifier) const	storm::jani::Model
getStandardSystemComposition() const	storm::jani::Model
getSystemComposition() const	storm::jani::Model
getTotalNumberOfNonTransientVariables() const	storm::jani::Model
getUndefinedConstants() const	storm::jani::Model
hasAction(std::string const &name) const	storm::jani::Model
hasAutomaton(std::string const &name) const	storm::jani::Model
hasConstant(std::string const &name) const	storm::jani::Model
hasGlobalVariable(std::string const &name) const	storm::jani::Model
hasInitialStatesRestriction() const	storm::jani::Model
hasNonGlobalTransientVariable() const	storm::jani::Model
hasNonTrivialInitialStates() const	storm::jani::Model
hasNonTrivialRewardExpression() const	storm::jani::Model
hasStandardCompliantComposition() const	storm::jani::Model
hasStandardComposition() const	storm::jani::Model
hasTransientEdgeDestinationAssignments() const	storm::jani::Model
hasTrivialInitialStatesExpression() const	storm::jani::Model
hasUndefinedConstants() const	storm::jani::Model
isDeterministicModel() const	storm::jani::Model
isDiscreteTimeModel() const	storm::jani::Model
isLinear() const	storm::jani::Model
isNonTrivialRewardModelExpression(std::string const &identifier) const	storm::jani::Model
liftTransientEdgeDestinationAssignments(int64_t maxLevel=0)	storm::jani::Model
makeStandardJaniCompliant()	storm::jani::Model
Model()	storm::jani::Model
Model(std::string const &name, ModelType const &modelType, uint64_t version=1, boost::optional< std::shared_ptr< storm::expressions::ExpressionManager > > const &expressionManager=boost::none)	storm::jani::Model
Model(Model const &other)	storm::jani::Model
Model(Model &&other)	storm::jani::Model
operator=(Model const &other)	storm::jani::Model
operator=(Model &&other)	storm::jani::Model
pushEdgeAssignmentsToDestinations()	storm::jani::Model
removeConstant(std::string const &name)	storm::jani::Model
replaceAutomaton(uint64_t index, Automaton const &newAutomaton)	storm::jani::Model
replaceUnassignedVariablesWithConstants()	storm::jani::Model
restrictEdges(storm::storage::FlatSet< uint_fast64_t > const &automataAndEdgeIndices) const	storm::jani::Model
restrictToFeatures(ModelFeatures const &modelFeatures)	storm::jani::Model
restrictToFeatures(ModelFeatures const &modelFeatures, std::vector< Property > &properties)	storm::jani::Model
reusesActionsInComposition() const	storm::jani::Model
setInitialStatesRestriction(storm::expressions::Expression const &initialStatesRestriction)	storm::jani::Model
setModelType(ModelType const &)	storm::jani::Model
setName(std::string const &newName)	storm::jani::Model
setStandardSystemComposition()	storm::jani::Model
setSystemComposition(std::shared_ptr< Composition > const &composition)	storm::jani::Model
SILENT_ACTION_INDEX	storm::jani::Model	static
SILENT_ACTION_NAME	storm::jani::Model	static
simplifyComposition()	storm::jani::Model
substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution, bool const substituteTranscendentalNumbers)	storm::jani::Model
substituteConstants() const	storm::jani::Model
substituteConstantsFunctionsTranscendentals() const	storm::jani::Model
substituteConstantsInPlace(bool const substituteTranscendentalNumbers)	storm::jani::Model
substituteFunctions()	storm::jani::Model
substituteFunctions(std::vector< Property > &properties)	storm::jani::Model
undefinedConstantsAreGraphPreserving() const	storm::jani::Model
usesAssignmentLevels(bool onlyTransient=false) const	storm::jani::Model
writeDotToStream(std::ostream &outStream=std::cout) const	storm::jani::Model