Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::jani::Edge Member List

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

assertValid() conststorm::jani::Edge
Edge()=defaultstorm::jani::Edge
Edge(uint64_t sourceLocationIndex, uint64_t actionIndex, boost::optional< storm::expressions::Expression > const &rate, std::shared_ptr< TemplateEdge > const &templateEdge, std::vector< std::pair< uint64_t, storm::expressions::Expression > > const &destinationTargetLocationsAndProbabilities)storm::jani::Edge
Edge(uint64_t sourceLocationIndex, uint64_t actionIndex, boost::optional< storm::expressions::Expression > const &rate, std::shared_ptr< TemplateEdge > const &templateEdge, std::vector< uint64_t > const &destinationLocations, std::vector< storm::expressions::Expression > const &destinationProbabilities)storm::jani::Edge
getActionIndex() conststorm::jani::Edge
getAssignments() conststorm::jani::Edge
getColor() conststorm::jani::Edge
getDestination(uint64_t index) conststorm::jani::Edge
getDestinations() conststorm::jani::Edge
getDestinations()storm::jani::Edge
getGuard() conststorm::jani::Edge
getHighestAssignmentLevel() conststorm::jani::Edge
getLowestAssignmentLevel() conststorm::jani::Edge
getNumberOfDestinations() conststorm::jani::Edge
getOptionalRate() conststorm::jani::Edge
getRate() conststorm::jani::Edge
getSourceLocationIndex() conststorm::jani::Edge
getTemplateEdge()storm::jani::Edge
getWrittenGlobalVariables() conststorm::jani::Edge
hasRate() conststorm::jani::Edge
hasSilentAction() conststorm::jani::Edge
hasTransientEdgeDestinationAssignments() conststorm::jani::Edge
setColor(uint64_t newColor)storm::jani::Edge
setGuard(storm::expressions::Expression const &guard)storm::jani::Edge
setRate(storm::expressions::Expression const &rate)storm::jani::Edge
setTemplateEdge(std::shared_ptr< TemplateEdge > const &newTe)storm::jani::Edge
simplifyIndexedAssignments(VariableSet const &localVars)storm::jani::Edge
substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution, bool const substituteTranscendentalNumbers)storm::jani::Edge
toString() conststorm::jani::Edge
usesAssignmentLevels(bool onlyTransient=false) conststorm::jani::Edge
usesVariablesInNonTransientAssignments(std::set< storm::expressions::Variable > const &variables) conststorm::jani::Edge