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

#include <EdgeContainer.h>

Public Types

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

Public Member Functions

 ConstEdges (const_iterator it, const_iterator ite)
 
const_iterator begin () const
 Retrieves an iterator to the edges.
 
const_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 50 of file EdgeContainer.h.

Member Typedef Documentation

◆ const_iterator

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

Definition at line 53 of file EdgeContainer.h.

◆ iterator

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

Definition at line 52 of file EdgeContainer.h.

Constructor & Destructor Documentation

◆ ConstEdges()

storm::jani::detail::ConstEdges::ConstEdges ( const_iterator  it,
const_iterator  ite 
)

Definition at line 30 of file EdgeContainer.cpp.

Member Function Documentation

◆ begin()

ConstEdges::const_iterator storm::jani::detail::ConstEdges::begin ( ) const

Retrieves an iterator to the edges.

Definition at line 34 of file EdgeContainer.cpp.

◆ empty()

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

Determines whether this set of edges is empty.

Definition at line 42 of file EdgeContainer.cpp.

◆ end()

ConstEdges::const_iterator storm::jani::detail::ConstEdges::end ( ) const

Retrieves an end iterator to the edges.

Definition at line 38 of file EdgeContainer.cpp.

◆ size()

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

Retrieves the number of edges.

Definition at line 46 of file EdgeContainer.cpp.

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