Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::gspn::Transition Member List

This is the complete list of members for storm::gspn::Transition, including all inherited members.

existsInhibitionArc(storm::gspn::Place const &place) conststorm::gspn::Transition
existsInputArc(storm::gspn::Place const &place) conststorm::gspn::Transition
existsOutputArc(storm::gspn::Place const &place) conststorm::gspn::Transition
fire(storm::gspn::Marking const &marking) conststorm::gspn::Transition
getID() conststorm::gspn::Transitioninline
getInhibitionArcMultiplicity(storm::gspn::Place const &place) conststorm::gspn::Transition
getInhibitionPlaces() conststorm::gspn::Transition
getInputArcMultiplicity(storm::gspn::Place const &place) conststorm::gspn::Transition
getInputPlaces() conststorm::gspn::Transition
getName() conststorm::gspn::Transition
getOutputArcMultiplicity(storm::gspn::Place const &place) conststorm::gspn::Transition
getOutputPlaces() conststorm::gspn::Transition
getPriority() conststorm::gspn::Transition
isEnabled(storm::gspn::Marking const &marking) conststorm::gspn::Transition
removeInhibitionArc(storm::gspn::Place const &place)storm::gspn::Transition
removeInputArc(storm::gspn::Place const &place)storm::gspn::Transition
removeOutputArc(storm::gspn::Place const &place)storm::gspn::Transition
setID(uint64_t const &id)storm::gspn::Transitioninline
setInhibitionArcMultiplicity(storm::gspn::Place const &place, uint64_t multiplicity)storm::gspn::Transition
setInputArcMultiplicity(storm::gspn::Place const &place, uint64_t multiplicity)storm::gspn::Transition
setName(std::string const &name)storm::gspn::Transition
setOutputArcMultiplicity(storm::gspn::Place const &place, uint64_t multiplicity)storm::gspn::Transition
setPriority(uint64_t const &priority)storm::gspn::Transition