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

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

getConstantsSubstitution() conststorm::gspn::GSPN
getExpressionManager() conststorm::gspn::GSPN
getImmediateTransition(std::string const &name) conststorm::gspn::GSPN
getImmediateTransitions() conststorm::gspn::GSPN
getInitialMarking(std::map< uint64_t, uint64_t > &numberOfBits, uint64_t const &numberOfTotalBits) conststorm::gspn::GSPN
getName() conststorm::gspn::GSPN
getNumberOfImmediateTransitions() conststorm::gspn::GSPN
getNumberOfPlaces() conststorm::gspn::GSPN
getNumberOfTimedTransitions() conststorm::gspn::GSPN
getPartitions() conststorm::gspn::GSPN
getPlace(uint64_t id) conststorm::gspn::GSPN
getPlace(std::string const &name) conststorm::gspn::GSPN
getPlaceLayoutInfos() conststorm::gspn::GSPN
getPlaces() conststorm::gspn::GSPN
getTimedTransition(std::string const &name) conststorm::gspn::GSPN
getTimedTransitions() conststorm::gspn::GSPN
getTransition(std::string const &name) conststorm::gspn::GSPN
getTransitionLayoutInfos() conststorm::gspn::GSPN
GSPN(std::string const &name, std::vector< Place > const &places, std::vector< ImmediateTransition< WeightType > > const &itransitions, std::vector< TimedTransition< RateType > > const &ttransitions, std::vector< TransitionPartition > const &partitions, std::shared_ptr< storm::expressions::ExpressionManager > const &exprManager, std::map< storm::expressions::Variable, storm::expressions::Expression > const &constantsSubstitution=std::map< storm::expressions::Variable, storm::expressions::Expression >())storm::gspn::GSPN
immediateTransitionIdToTransitionId(uint64_t)storm::gspn::GSPNstatic
isValid() conststorm::gspn::GSPN
RateType typedefstorm::gspn::GSPN
setCapacities(std::unordered_map< std::string, uint64_t > const &mapping)storm::gspn::GSPN
setName(std::string const &name)storm::gspn::GSPN
setPlaceLayoutInfo(uint64_t placeId, LayoutInfo const &layout) conststorm::gspn::GSPN
setPlaceLayoutInfo(std::map< uint64_t, LayoutInfo > const &placeLayout) conststorm::gspn::GSPN
setTransitionLayoutInfo(uint64_t transitionId, LayoutInfo const &layout) conststorm::gspn::GSPN
setTransitionLayoutInfo(std::map< uint64_t, LayoutInfo > const &transitionLayout) conststorm::gspn::GSPN
timedTransitionIdToTransitionId(uint64_t)storm::gspn::GSPNstatic
toJson(std::ostream &stream) conststorm::gspn::GSPN
toPnml(std::ostream &stream) conststorm::gspn::GSPN
toPnpro(std::ostream &stream) conststorm::gspn::GSPN
transitionIdToImmediateTransitionId(uint64_t)storm::gspn::GSPNstatic
transitionIdToTimedTransitionId(uint64_t)storm::gspn::GSPNstatic
WeightType typedefstorm::gspn::GSPN
writeDotToStream(std::ostream &outStream) conststorm::gspn::GSPN
writeStatsToStream(std::ostream &stream) conststorm::gspn::GSPN