Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
storm::jani::ConditionalMetaEdge Struct Reference

Public Member Functions

 ConditionalMetaEdge ()
 

Public Attributes

uint64_t actionIndex
 
std::vector< uint64_t > components
 
std::vector< uint64_t > condition
 
boost::optional< storm::expressions::Expression > rate
 
std::vector< storm::expressions::Expression > probabilities
 
std::vector< std::vector< uint64_t > > effects
 
std::shared_ptr< TemplateEdge > templateEdge
 

Detailed Description

Definition at line 145 of file Model.cpp.

Constructor & Destructor Documentation

◆ ConditionalMetaEdge()

storm::jani::ConditionalMetaEdge::ConditionalMetaEdge ( )
inline

Definition at line 146 of file Model.cpp.

Member Data Documentation

◆ actionIndex

uint64_t storm::jani::ConditionalMetaEdge::actionIndex

Definition at line 150 of file Model.cpp.

◆ components

std::vector<uint64_t> storm::jani::ConditionalMetaEdge::components

Definition at line 151 of file Model.cpp.

◆ condition

std::vector<uint64_t> storm::jani::ConditionalMetaEdge::condition

Definition at line 152 of file Model.cpp.

◆ effects

std::vector<std::vector<uint64_t> > storm::jani::ConditionalMetaEdge::effects

Definition at line 155 of file Model.cpp.

◆ probabilities

std::vector<storm::expressions::Expression> storm::jani::ConditionalMetaEdge::probabilities

Definition at line 154 of file Model.cpp.

◆ rate

boost::optional<storm::expressions::Expression> storm::jani::ConditionalMetaEdge::rate

Definition at line 153 of file Model.cpp.

◆ templateEdge

std::shared_ptr<TemplateEdge> storm::jani::ConditionalMetaEdge::templateEdge

Definition at line 156 of file Model.cpp.

The documentation for this struct was generated from the following file: