DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Enumerators.hh>
Public Types | |
using | Value = T |
Public Member Functions | |
RangesEnumeration ()=default | |
RangesEnumeration (RangesEnumeration const &other)=default | |
RangesEnumeration & | operator= (RangesEnumeration const &other)=default |
RangesEnumeration (RangesEnumeration &&other)=default | |
RangesEnumeration & | operator= (RangesEnumeration &&other)=default |
virtual | ~RangesEnumeration ()=default |
void | setup (std::vector< T > &&start, const std::vector< T > &&end) |
RangesEnumeration (const std::vector< T > &start, const std::vector< T > &end) | |
size_t | count () const |
const std::vector< T > & | current () const |
void | start () |
bool | hasNext () |
bool | empty () const |
bool | completed () const |
Private Member Functions | |
void | checkEmpty () |
Private Attributes | |
std::vector< T > | _start |
std::vector< T > | _end |
std::vector< T > | _current |
bool | _completed |
bool | _empty |
size_t | _counter |
Definition at line 20 of file Enumerators.hh.
using Diades::Utils::RangesEnumeration< T >::Value = T |
Definition at line 23 of file Enumerators.hh.
|
default |
Default constructor
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::checkEmpty().
|
default |
Copy constructor (default)
other |
|
default |
Move constructor (default)
other |
|
virtualdefault |
Destructor
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::checkEmpty().
|
inline |
Definition at line 91 of file Enumerators.hh.
|
inlineprivate |
Definition at line 33 of file Enumerators.hh.
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::RangesEnumeration(), and Diades::Utils::RangesEnumeration< InitialStateIterator >::setup().
|
inline |
Definition at line 151 of file Enumerators.hh.
Referenced by Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >::newInitialState().
|
inline |
Definition at line 101 of file Enumerators.hh.
|
inline |
|
inline |
Definition at line 145 of file Enumerators.hh.
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::hasNext().
|
inline |
Definition at line 121 of file Enumerators.hh.
Referenced by Diades::Utils::LabelGenerator< CharT, Traits, Alloc >::another(), and Diades::Automata::Experimental::ComposableModel< Fsm, StateCreator >::newInitialState().
|
default |
Assignement (default)
other |
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::checkEmpty().
|
default |
|
inline |
|
inline |
Definition at line 113 of file Enumerators.hh.
Referenced by Diades::Utils::LabelGenerator< CharT, Traits, Alloc >::another(), Diades::Utils::LabelGenerator< CharT, Traits, Alloc >::init(), and Diades::Utils::RangesEnumeration< InitialStateIterator >::setup().
|
private |
Definition at line 28 of file Enumerators.hh.
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::completed(), and Diades::Utils::RangesEnumeration< InitialStateIterator >::hasNext().
|
private |
Definition at line 30 of file Enumerators.hh.
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::count(), and Diades::Utils::RangesEnumeration< InitialStateIterator >::hasNext().
|
private |
Definition at line 27 of file Enumerators.hh.
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::current().
|
private |
Definition at line 29 of file Enumerators.hh.
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::empty().
|
private |
Definition at line 26 of file Enumerators.hh.
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::setup(), and Diades::Utils::RangesEnumeration< InitialStateIterator >::start().
|
private |
Definition at line 25 of file Enumerators.hh.
Referenced by Diades::Utils::RangesEnumeration< InitialStateIterator >::start().