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

#include <EdgeContainer.h>

Public Types

typedef std::vector< Edge >::iterator iterator
 
typedef std::vector< Edge >::const_iterator const_iterator
 

Public Member Functions

 EdgeContainer ()=default
 
 EdgeContainer (EdgeContainer const &other)
 
EdgeContainer & operator= (EdgeContainer const &other)
 
void clearConcreteEdges ()
 
std::vector< Edge > const & getConcreteEdges () const
 
std::vector< Edge > & getConcreteEdges ()
 
TemplateEdgeContainer const & getTemplateEdges () const
 
size_t size () const
 
iterator begin ()
 
const_iterator begin () const
 
iterator end ()
 
const_iterator end () const
 
std::set< uint64_t > getActionIndices () const
 
void substitute (std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution, bool const substituteTranscendentalNumbers)
 
void liftTransientDestinationAssignments (int64_t maxLevel=0)
 
void pushAssignmentsToDestinations ()
 
void insertEdge (Edge const &e, uint64_t locStart, uint64_t locEnd)
 Insert an edge, then sort the range between locstart and locend according to the action index.
 
void insertTemplateEdge (std::shared_ptr< TemplateEdge > const &te)
 
bool isLinear () const
 
bool usesAssignmentLevels (bool onlyTransient=false) const
 
void finalize (Model const &containingModel)
 
void changeAssignmentVariables (std::map< Variable const *, std::reference_wrapper< Variable const > > const &remapping)
 

Detailed Description

Definition at line 83 of file EdgeContainer.h.

Member Typedef Documentation

◆ const_iterator

typedef std::vector<Edge>::const_iterator storm::jani::EdgeContainer::const_iterator

Definition at line 86 of file EdgeContainer.h.

◆ iterator

typedef std::vector<Edge>::iterator storm::jani::EdgeContainer::iterator

Definition at line 85 of file EdgeContainer.h.

Constructor & Destructor Documentation

◆ EdgeContainer() [1/2]

storm::jani::EdgeContainer::EdgeContainer ( )
default

◆ EdgeContainer() [2/2]

storm::jani::EdgeContainer::EdgeContainer ( EdgeContainer const &  other)

Definition at line 51 of file EdgeContainer.cpp.

Member Function Documentation

◆ begin() [1/2]

EdgeContainer::iterator storm::jani::EdgeContainer::begin ( )

Definition at line 186 of file EdgeContainer.cpp.

◆ begin() [2/2]

EdgeContainer::const_iterator storm::jani::EdgeContainer::begin ( ) const

Definition at line 192 of file EdgeContainer.cpp.

◆ changeAssignmentVariables()

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

Definition at line 176 of file EdgeContainer.cpp.

◆ clearConcreteEdges()

void storm::jani::EdgeContainer::clearConcreteEdges ( )

Definition at line 87 of file EdgeContainer.cpp.

◆ end() [1/2]

EdgeContainer::iterator storm::jani::EdgeContainer::end ( )

Definition at line 189 of file EdgeContainer.cpp.

◆ end() [2/2]

EdgeContainer::const_iterator storm::jani::EdgeContainer::end ( ) const

Definition at line 195 of file EdgeContainer.cpp.

◆ finalize()

void storm::jani::EdgeContainer::finalize ( Model const &  containingModel)

Definition at line 77 of file EdgeContainer.cpp.

◆ getActionIndices()

std::set< uint64_t > storm::jani::EdgeContainer::getActionIndices ( ) const

Definition at line 137 of file EdgeContainer.cpp.

◆ getConcreteEdges() [1/2]

std::vector< Edge > & storm::jani::EdgeContainer::getConcreteEdges ( )

Definition at line 125 of file EdgeContainer.cpp.

◆ getConcreteEdges() [2/2]

std::vector< Edge > const & storm::jani::EdgeContainer::getConcreteEdges ( ) const

Definition at line 129 of file EdgeContainer.cpp.

◆ getTemplateEdges()

TemplateEdgeContainer const & storm::jani::EdgeContainer::getTemplateEdges ( ) const

Definition at line 133 of file EdgeContainer.cpp.

◆ insertEdge()

void storm::jani::EdgeContainer::insertEdge ( Edge const &  e,
uint64_t  locStart,
uint64_t  locEnd 
)

Insert an edge, then sort the range between locstart and locend according to the action index.

Parameters
e
locStartindex where to start
locEndindex where to end

Definition at line 151 of file EdgeContainer.cpp.

◆ insertTemplateEdge()

void storm::jani::EdgeContainer::insertTemplateEdge ( std::shared_ptr< TemplateEdge > const &  te)

Definition at line 166 of file EdgeContainer.cpp.

◆ isLinear()

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

Definition at line 107 of file EdgeContainer.cpp.

◆ liftTransientDestinationAssignments()

void storm::jani::EdgeContainer::liftTransientDestinationAssignments ( int64_t  maxLevel = 0)

Definition at line 91 of file EdgeContainer.cpp.

◆ operator=()

EdgeContainer & storm::jani::EdgeContainer::operator= ( EdgeContainer const &  other)

Definition at line 70 of file EdgeContainer.cpp.

◆ pushAssignmentsToDestinations()

void storm::jani::EdgeContainer::pushAssignmentsToDestinations ( )

Definition at line 170 of file EdgeContainer.cpp.

◆ size()

size_t storm::jani::EdgeContainer::size ( ) const

Definition at line 182 of file EdgeContainer.cpp.

◆ substitute()

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

Definition at line 97 of file EdgeContainer.cpp.

◆ usesAssignmentLevels()

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

Definition at line 116 of file EdgeContainer.cpp.

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