Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Public Member Functions | List of all members
storm::jani::EdgeDestination Class Reference

#include <EdgeDestination.h>

Public Member Functions

 EdgeDestination (uint64_t locationIndex, storm::expressions::Expression const &probability, TemplateEdgeDestination const &templateEdgeDestination)
 Creates a new edge destination.
 
uint64_t getLocationIndex () const
 Retrieves the id of the destination location.
 
storm::expressions::Expression const & getProbability () const
 Retrieves the probability of choosing this destination.
 
void setProbability (storm::expressions::Expression const &probability)
 Sets a new probability for this edge destination.
 
void substitute (std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution, bool const substituteTranscendentalNumbers)
 Substitutes all variables in all expressions according to the given substitution.
 
std::map< storm::expressions::Variable, storm::expressions::Expression > getAsVariableToExpressionMap () const
 Retrieves the mapping from variables to their assigned expressions that corresponds to the assignments of this destination.
 
OrderedAssignments const & getOrderedAssignments () const
 Retrieves the assignments to make when choosing this destination.
 
bool hasAssignment (Assignment const &assignment) const
 Checks whether this destination has the given assignment.
 
bool hasTransientAssignment () const
 Retrieves whether this destination has transient assignments.
 
bool usesAssignmentLevels () const
 Retrieves whether the edge uses an assignment level other than zero.
 
TemplateEdgeDestination const & getTemplateEdgeDestination () const
 Retrieves the template destination for this destination.
 
void updateTemplateEdgeDestination (TemplateEdgeDestination const &newTed)
 

Detailed Description

Definition at line 12 of file EdgeDestination.h.

Constructor & Destructor Documentation

◆ EdgeDestination()

storm::jani::EdgeDestination::EdgeDestination ( uint64_t  locationIndex,
storm::expressions::Expression const &  probability,
TemplateEdgeDestination const &  templateEdgeDestination 
)

Creates a new edge destination.

Definition at line 11 of file EdgeDestination.cpp.

Member Function Documentation

◆ getAsVariableToExpressionMap()

std::map< storm::expressions::Variable, storm::expressions::Expression > storm::jani::EdgeDestination::getAsVariableToExpressionMap ( ) const

Retrieves the mapping from variables to their assigned expressions that corresponds to the assignments of this destination.

Definition at line 29 of file EdgeDestination.cpp.

◆ getLocationIndex()

uint64_t storm::jani::EdgeDestination::getLocationIndex ( ) const

Retrieves the id of the destination location.

Definition at line 17 of file EdgeDestination.cpp.

◆ getOrderedAssignments()

OrderedAssignments const & storm::jani::EdgeDestination::getOrderedAssignments ( ) const

Retrieves the assignments to make when choosing this destination.

Definition at line 39 of file EdgeDestination.cpp.

◆ getProbability()

storm::expressions::Expression const & storm::jani::EdgeDestination::getProbability ( ) const

Retrieves the probability of choosing this destination.

Definition at line 21 of file EdgeDestination.cpp.

◆ getTemplateEdgeDestination()

TemplateEdgeDestination const & storm::jani::EdgeDestination::getTemplateEdgeDestination ( ) const

Retrieves the template destination for this destination.

Definition at line 63 of file EdgeDestination.cpp.

◆ hasAssignment()

bool storm::jani::EdgeDestination::hasAssignment ( Assignment const &  assignment) const

Checks whether this destination has the given assignment.

Definition at line 48 of file EdgeDestination.cpp.

◆ hasTransientAssignment()

bool storm::jani::EdgeDestination::hasTransientAssignment ( ) const

Retrieves whether this destination has transient assignments.

Definition at line 52 of file EdgeDestination.cpp.

◆ setProbability()

void storm::jani::EdgeDestination::setProbability ( storm::expressions::Expression const &  probability)

Sets a new probability for this edge destination.

Definition at line 25 of file EdgeDestination.cpp.

◆ substitute()

void storm::jani::EdgeDestination::substitute ( std::map< storm::expressions::Variable, storm::expressions::Expression > const &  substitution,
bool const  substituteTranscendentalNumbers 
)

Substitutes all variables in all expressions according to the given substitution.

Definition at line 43 of file EdgeDestination.cpp.

◆ updateTemplateEdgeDestination()

void storm::jani::EdgeDestination::updateTemplateEdgeDestination ( TemplateEdgeDestination const &  newTed)

Definition at line 67 of file EdgeDestination.cpp.

◆ usesAssignmentLevels()

bool storm::jani::EdgeDestination::usesAssignmentLevels ( ) const

Retrieves whether the edge uses an assignment level other than zero.

Definition at line 56 of file EdgeDestination.cpp.

The documentation for this class was generated from the following files: