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

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

addDestination(TemplateEdgeDestination const &destination)storm::jani::TemplateEdge
addTransientAssignment(Assignment const &assignment, bool addToExisting=false)storm::jani::TemplateEdge
changeAssignmentVariables(std::map< Variable const *, std::reference_wrapper< Variable const > > const &remapping)storm::jani::TemplateEdge
finalize(Model const &containingModel)storm::jani::TemplateEdge
getAssignments() conststorm::jani::TemplateEdge
getAssignments()storm::jani::TemplateEdge
getDestination(uint64_t index) conststorm::jani::TemplateEdge
getDestinations() conststorm::jani::TemplateEdge
getDestinations()storm::jani::TemplateEdge
getGuard() conststorm::jani::TemplateEdge
getHighestAssignmentLevel() conststorm::jani::TemplateEdge
getLowestAssignmentLevel() conststorm::jani::TemplateEdge
getNumberOfDestinations() conststorm::jani::TemplateEdge
getWrittenGlobalVariables() conststorm::jani::TemplateEdge
hasEdgeDestinationAssignments() conststorm::jani::TemplateEdge
hasTransientEdgeDestinationAssignments() conststorm::jani::TemplateEdge
isLinear() conststorm::jani::TemplateEdge
liftTransientDestinationAssignments(int64_t maxLevel=0)storm::jani::TemplateEdge
pushAssignmentsToDestinations()storm::jani::TemplateEdge
setGuard(storm::expressions::Expression const &newGuard)storm::jani::TemplateEdge
simplifyIndexedAssignments(bool syncronized, VariableSet const &localVars) conststorm::jani::TemplateEdge
substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution, bool const substituteTranscendentalNumbers)storm::jani::TemplateEdge
TemplateEdge()=defaultstorm::jani::TemplateEdge
TemplateEdge(TemplateEdge const &)=defaultstorm::jani::TemplateEdge
TemplateEdge(storm::expressions::Expression const &guard)storm::jani::TemplateEdge
TemplateEdge(storm::expressions::Expression const &guard, OrderedAssignments const &assignments, std::vector< TemplateEdgeDestination > const &destinations)storm::jani::TemplateEdge
usesAssignmentLevels(bool onlyTransient=false) conststorm::jani::TemplateEdge
usesVariablesInNonTransientAssignments(std::set< storm::expressions::Variable > const &variables) conststorm::jani::TemplateEdge