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

addEdge(Edge const &edge)	storm::jani::Automaton
addFunctionDefinition(FunctionDefinition const &functionDefinition)	storm::jani::Automaton
addInitialLocation(std::string const &name)	storm::jani::Automaton
addInitialLocation(uint64_t index)	storm::jani::Automaton
addLocation(Location const &location)	storm::jani::Automaton
addVariable(Variable const &variable)	storm::jani::Automaton
Automaton(std::string const &name, storm::expressions::Variable const &locationExpressionVariable)	storm::jani::Automaton
Automaton(Automaton const &other)=default	storm::jani::Automaton
Automaton(Automaton &&other)=default	storm::jani::Automaton
buildIdToLocationNameMap() const	storm::jani::Automaton
changeAssignmentVariables(std::map< Variable const *, std::reference_wrapper< Variable const > > const &remapping)	storm::jani::Automaton
clone(storm::expressions::ExpressionManager &manager, std::string const &nameOfClone, std::string const &variablePrefix) const	storm::jani::Automaton
ConstEdges typedef	storm::jani::Automaton
containsVariablesOnlyInProbabilitiesOrTransientAssignments(std::set< storm::expressions::Variable > const &variables) const	storm::jani::Automaton
detail::ConstEdges	storm::jani::Automaton	friend
detail::Edges	storm::jani::Automaton	friend
Edges typedef	storm::jani::Automaton
finalize(Model const &containingModel)	storm::jani::Automaton
getActionIndices() const	storm::jani::Automaton
getAllExpressionVariables() const	storm::jani::Automaton
getAllRangeExpressions() const	storm::jani::Automaton
getEdge(uint64_t index) const	storm::jani::Automaton
getEdgeContainer() const	storm::jani::Automaton
getEdgeContainer()	storm::jani::Automaton
getEdges()	storm::jani::Automaton
getEdges() const	storm::jani::Automaton
getEdgesFromLocation(std::string const &name)	storm::jani::Automaton
getEdgesFromLocation(uint64_t index)	storm::jani::Automaton
getEdgesFromLocation(std::string const &name) const	storm::jani::Automaton
getEdgesFromLocation(uint64_t index) const	storm::jani::Automaton
getEdgesFromLocation(uint64_t locationIndex, uint64_t actionIndex)	storm::jani::Automaton
getEdgesFromLocation(uint64_t locationIndex, uint64_t actionIndex) const	storm::jani::Automaton
getFunctionDefinitions() const	storm::jani::Automaton
getFunctionDefinitions()	storm::jani::Automaton
getInitialLocationIndices() const	storm::jani::Automaton
getInitialStatesExpression() const	storm::jani::Automaton
getInitialStatesRestriction() const	storm::jani::Automaton
getLocation(uint64_t index) const	storm::jani::Automaton
getLocation(uint64_t index)	storm::jani::Automaton
getLocationExpressionVariable() const	storm::jani::Automaton
getLocationIndex(std::string const &name) const	storm::jani::Automaton
getLocations() const	storm::jani::Automaton
getLocations()	storm::jani::Automaton
getName() const	storm::jani::Automaton
getNumberOfEdges() const	storm::jani::Automaton
getNumberOfLocations() const	storm::jani::Automaton
getUsedActionIndices() const	storm::jani::Automaton
getVariables()	storm::jani::Automaton
getVariables() const	storm::jani::Automaton
hasEdgeLabeledWithActionIndex(uint64_t actionIndex) const	storm::jani::Automaton
hasInitialStatesRestriction() const	storm::jani::Automaton
hasLocation(std::string const &name) const	storm::jani::Automaton
hasNonTrivialInitialStates() const	storm::jani::Automaton
hasRestrictedInitialStates() const	storm::jani::Automaton
hasTransientEdgeDestinationAssignments() const	storm::jani::Automaton
hasTransientVariable() const	storm::jani::Automaton
hasTrivialInitialStatesExpression() const	storm::jani::Automaton
hasVariable(std::string const &name) const	storm::jani::Automaton
isLinear() const	storm::jani::Automaton
liftTransientEdgeDestinationAssignments(int64_t maxLevel=0)	storm::jani::Automaton
operator=(Automaton const &other)=default	storm::jani::Automaton
operator=(Automaton &&other)=default	storm::jani::Automaton
pushEdgeAssignmentsToDestinations()	storm::jani::Automaton
pushTransientRealLocationAssignmentsToEdges()	storm::jani::Automaton
registerTemplateEdge(std::shared_ptr< TemplateEdge > const &)	storm::jani::Automaton
restrictToEdges(storm::storage::FlatSet< uint_fast64_t > const &edgeIndices)	storm::jani::Automaton
setInitialStatesRestriction(storm::expressions::Expression const &initialStatesRestriction)	storm::jani::Automaton
simplifyIndexedAssignments()	storm::jani::Automaton
substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution, bool const substituteTranscendentalNumbers)	storm::jani::Automaton
usesAssignmentLevels(bool onlyTransient=false) const	storm::jani::Automaton
validate() const	storm::jani::Automaton
writeDotToStream(std::ostream &outStream, std::vector< std::string > const &actionNames) const	storm::jani::Automaton