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

#include <EdgeContainer.h>

Public Types

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

Public Member Functions

 Edges (iterator it, iterator ite)
 
iterator begin () const
 Retrieves an iterator to the edges.
 
iterator end () const
 Retrieves an end iterator to the edges.
 
bool empty () const
 Determines whether this set of edges is empty.
 
std::size_t size () const
 Retrieves the number of edges.
 

Detailed Description

Definition at line 18 of file EdgeContainer.h.

Member Typedef Documentation

◆ const_iterator

typedef std::vector<Edge>::const_iterator storm::jani::detail::Edges::const_iterator

Definition at line 21 of file EdgeContainer.h.

◆ iterator

typedef std::vector<Edge>::iterator storm::jani::detail::Edges::iterator

Definition at line 20 of file EdgeContainer.h.

Constructor & Destructor Documentation

◆ Edges()

storm::jani::detail::Edges::Edges ( iterator  it,
iterator  ite 
)

Definition at line 10 of file EdgeContainer.cpp.

Member Function Documentation

◆ begin()

Edges::iterator storm::jani::detail::Edges::begin ( ) const

Retrieves an iterator to the edges.

Definition at line 14 of file EdgeContainer.cpp.

◆ empty()

bool storm::jani::detail::Edges::empty ( ) const

Determines whether this set of edges is empty.

Definition at line 22 of file EdgeContainer.cpp.

◆ end()

Edges::iterator storm::jani::detail::Edges::end ( ) const

Retrieves an end iterator to the edges.

Definition at line 18 of file EdgeContainer.cpp.

◆ size()

std::size_t storm::jani::detail::Edges::size ( ) const

Retrieves the number of edges.

Definition at line 26 of file EdgeContainer.cpp.

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