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

#include <TemplateEdgeDestination.h>

Public Member Functions

 TemplateEdgeDestination ()=default
 
 TemplateEdgeDestination (OrderedAssignments const &assignments)
 
 TemplateEdgeDestination (Assignment const &assignment)
 
 TemplateEdgeDestination (std::vector< Assignment > const &assignments)
 
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.
 
void changeAssignmentVariables (std::map< Variable const *, std::reference_wrapper< Variable const > > const &remapping)
 Changes all variables in assignments based on the given mapping.
 
OrderedAssignments const & getOrderedAssignments () const
 
OrderedAssignments & getOrderedAssignments ()
 
bool hasAssignment (Assignment const &assignment) const
 
bool removeAssignment (Assignment const &assignment)
 
void addAssignment (Assignment const &assignment, bool addToExisting=false)
 
bool hasTransientAssignment () const
 Retrieves whether this destination has transient assignments.
 
bool usesAssignmentLevels (bool onlyTransient=false) const
 Retrieves whether the edge uses an assignment level other than zero.
 
bool hasAssignments () const
 Checks whether the templ.
 
bool isLinear () const
 Checks the template edge destination for linearity.
 
TemplateEdgeDestination simplifyIndexedAssignments (bool syncronized, VariableSet const &localVars) const
 Simplify Indexed Assignments.
 

Detailed Description

Definition at line 8 of file TemplateEdgeDestination.h.

Constructor & Destructor Documentation

◆ TemplateEdgeDestination() [1/4]

storm::jani::TemplateEdgeDestination::TemplateEdgeDestination ( )
default

◆ TemplateEdgeDestination() [2/4]

storm::jani::TemplateEdgeDestination::TemplateEdgeDestination ( OrderedAssignments const &  assignments)

Definition at line 6 of file TemplateEdgeDestination.cpp.

◆ TemplateEdgeDestination() [3/4]

storm::jani::TemplateEdgeDestination::TemplateEdgeDestination ( Assignment const &  assignment)

Definition at line 10 of file TemplateEdgeDestination.cpp.

◆ TemplateEdgeDestination() [4/4]

storm::jani::TemplateEdgeDestination::TemplateEdgeDestination ( std::vector< Assignment > const &  assignments)

Definition at line 14 of file TemplateEdgeDestination.cpp.

Member Function Documentation

◆ addAssignment()

void storm::jani::TemplateEdgeDestination::addAssignment ( Assignment const &  assignment,
bool  addToExisting = false 
)

Definition at line 39 of file TemplateEdgeDestination.cpp.

◆ changeAssignmentVariables()

void storm::jani::TemplateEdgeDestination::changeAssignmentVariables ( std::map< Variable const *, std::reference_wrapper< Variable const > > const &  remapping)

Changes all variables in assignments based on the given mapping.

Definition at line 23 of file TemplateEdgeDestination.cpp.

◆ getOrderedAssignments() [1/2]

OrderedAssignments & storm::jani::TemplateEdgeDestination::getOrderedAssignments ( )

Definition at line 31 of file TemplateEdgeDestination.cpp.

◆ getOrderedAssignments() [2/2]

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

Definition at line 27 of file TemplateEdgeDestination.cpp.

◆ hasAssignment()

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

Definition at line 43 of file TemplateEdgeDestination.cpp.

◆ hasAssignments()

bool storm::jani::TemplateEdgeDestination::hasAssignments ( ) const

Checks whether the templ.

edge destination contains one or more assignments

Returns
True iff assignments exist

Definition at line 59 of file TemplateEdgeDestination.cpp.

◆ hasTransientAssignment()

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

Retrieves whether this destination has transient assignments.

Definition at line 47 of file TemplateEdgeDestination.cpp.

◆ isLinear()

bool storm::jani::TemplateEdgeDestination::isLinear ( ) const

Checks the template edge destination for linearity.

Definition at line 55 of file TemplateEdgeDestination.cpp.

◆ removeAssignment()

bool storm::jani::TemplateEdgeDestination::removeAssignment ( Assignment const &  assignment)

Definition at line 35 of file TemplateEdgeDestination.cpp.

◆ simplifyIndexedAssignments()

TemplateEdgeDestination storm::jani::TemplateEdgeDestination::simplifyIndexedAssignments ( bool  syncronized,
VariableSet const &  localVars 
) const

Simplify Indexed Assignments.

Definition at line 63 of file TemplateEdgeDestination.cpp.

◆ substitute()

void storm::jani::TemplateEdgeDestination::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 18 of file TemplateEdgeDestination.cpp.

◆ usesAssignmentLevels()

bool storm::jani::TemplateEdgeDestination::usesAssignmentLevels ( bool  onlyTransient = false) const

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

Definition at line 51 of file TemplateEdgeDestination.cpp.

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