Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId > Class Template Reference

#include <FaultyEventStateMachine.hh>

Public Types
using	StatePropertyId = _StatePropertyId
using	EventPropertyId = _EventPropertyId
using	NullStatePropertyId = _NullStatePropertyId
using	SM = StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId >
typedef unordered_set< EventPropertyId >::const_iterator	NormalEventPropertyIdIterator
typedef unordered_set< EventPropertyId >::const_iterator	FaultyEventPropertyIdIterator
Public Types inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >
using	StatePropertyId = _StatePropertyId
using	EventPropertyId = _EventPropertyId
using	NullStatePropertyId = _NullStatePropertyId
using	NullEventPropertyId = _NullEventPropertyId
using	Id = size_t
using	Exception = Diades::Utils::Exception< StateMachine >
typedef Diades::Graph::Node	State
typedef Diades::Graph::Edge	Transition
typedef Diades::Graph::NodeIterator	StateIterator
typedef Diades::Graph::EdgeIterator	TransitionIterator
typedef list< Transition >::const_iterator	EventTransitionIterator
typedef unordered_set< State >::const_iterator	InitialStateIterator
typedef Diades::Graph::InEdgeIterator	InputTransitionIterator
typedef Diades::Graph::OutEdgeIterator	OutputTransitionIterator
typedef vector< EventPropertyId >::const_iterator	EventPropertyIdIterator
typedef unordered_set< Transition >::const_iterator	OutputEventTransitionIterator
typedef unordered_set< Transition >::const_iterator	InputEventTransitionIterator
typedef unordered_set< State >::const_iterator	LabelledStateIterator
template<typename StateIterator >
using	StatePropertyIdRangeIterator = Diades::Utils::RangeMapperIterator< GetStatePropertyId< StateIterator > >
typedef std::vector< StatePropertyId >::const_iterator	StatePropertyIdIterator

Public Member Functions
	FaultyEventStateMachine ()
	FaultyEventStateMachine (const FaultyEventStateMachine &machine)
virtual FaultyEventStateMachine &	operator= (const FaultyEventStateMachine &machine)
virtual	~FaultyEventStateMachine ()
virtual void	clear ()
void	copyEventPropertyId (const FaultyEventStateMachine &m, const EventPropertyId &event)
void	copyEventPropertyIds (const FaultyEventStateMachine &m)
virtual void	insertEventPropertyId (const EventPropertyId &event)
void	setFaulty (const EventPropertyId &e)
bool	isFaulty (const EventPropertyId &e) const
const std::unordered_set< EventPropertyId > &	faultyEvents () const
FaultyEventPropertyIdIterator	faultyEventBegin () const
FaultyEventPropertyIdIterator	faultyEventEnd () const
void	setNormal (const EventPropertyId &e)
bool	isNormal (const EventPropertyId &e) const
const unordered_set< EventPropertyId > &	normalEvents () const
NormalEventPropertyIdIterator	normalEventBegin () const
NormalEventPropertyIdIterator	normalEventEnd () const
Public Member Functions inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >
	StateMachine ()
	StateMachine (const StateMachine &machine)
StateMachine &	operator= (const StateMachine &machine)
virtual	~StateMachine ()
bool	operator== (const StateMachine &machine) const
bool	operator!= (const StateMachine &machine) const
Id	id () const
Id	setId (Id identifier)
Graph::Graph &	behaviour ()
const Graph::Graph &	behaviour () const
bool	isEmpty () const
bool	isValid () const
const string &	setName (const string &name)
const string &	name () const
EventPropertyId	nullEvent () const
bool	isNullEvent (EventPropertyId evt) const
void	copyEventPropertyId (const StateMachine &m, const EventPropertyId &event)
void	copyEventPropertyIds (const StateMachine &m)
unsigned	numberOfEvents () const
template<typename EventIter >
void	insertEvent (EventIter start, EventIter end)
const EventPropertyId &	getEvent (Transition t) const
const vector< EventPropertyId > &	events () const
EventPropertyIdIterator	eventBegin () const
EventPropertyIdIterator	eventEnd () const
bool	containsEvent (const EventPropertyId &e) const
void	replaceEvent (const EventPropertyId &e1, const EventPropertyId &e2)
void	removeEvent (const EventPropertyId &e)
State	newState ()
std::pair< State, bool >	newState (const StatePropertyId &sProperty)
const StatePropertyId &	getStatePropertyId (State state) const
bool	setStatePropertyId (State state, const StatePropertyId &sProperty)
State	getState (const StatePropertyId &sProperty) const
virtual void	deleteState (State state)
void	deleteState (StateIterator start, StateIterator end)
unsigned	numberOfStates () const
StateIterator	stateBegin () const
StateIterator	stateEnd () const
StatePropertyIdIterator	statePropertyIdBegin () const
StatePropertyIdIterator	statePropertyIdEnd () const
template<typename StateIterator >
StatePropertyIdRangeIterator< StateIterator >	statePropertyIdRangeIterator (StateIterator iterator) const
void	setInitial (State state)
void	unsetInitial (State state)
void	setAllInitialStates ()
void	clearAllInitialStates ()
void	swapInitialState (State state)
	swap the status of the state as initial/non-initial More...
InitialStateIterator	initialStateBegin () const
InitialStateIterator	initialStateEnd () const
unsigned	numberOfInitialStates () const
bool	isInitial (State state) const
bool	isNullState (State state) const
Transition	newTransition (State source, State target, const EventPropertyId &event)
Transition	newTransition (const StatePropertyId &source, const StatePropertyId &target, const EventPropertyId &event)
void	deleteTransition (Transition t)
void	deleteTransition (TransitionIterator start, TransitionIterator end)
void	deleteTransition (EventTransitionIterator start, EventTransitionIterator end)
LabelledStateIterator	beginOfSourceStateOfEvent (const EventPropertyId &e) const
LabelledStateIterator	endOfSourceStateOfEvent (const EventPropertyId &e) const
LabelledStateIterator	beginOfTargetStateOfEvent (const EventPropertyId &e) const
LabelledStateIterator	endOfTargetStateOfEvent (const EventPropertyId &e) const
EventTransitionIterator	eventTransitionBegin (const EventPropertyId &e) const
EventTransitionIterator	eventTransitionEnd (const EventPropertyId &e) const
OutputEventTransitionIterator	outputEventTransitionBegin (State s, const EventPropertyId &e) const
OutputEventTransitionIterator	outputEventTransitionEnd (State s, const EventPropertyId &e) const
InputEventTransitionIterator	inputEventTransitionBegin (State s, const EventPropertyId &e) const
InputEventTransitionIterator	inputEventTransitionEnd (State s, const EventPropertyId &e) const
TransitionIterator	transitionBegin () const
TransitionIterator	transitionEnd () const
OutputTransitionIterator	outputTransitionBegin (State s) const
OutputTransitionIterator	outputTransitionEnd (State s) const
InputTransitionIterator	inputTransitionBegin (State s) const
InputTransitionIterator	inputTransitionEnd (State s) const
unsigned	numberOfTransitions () const

Private Types
using	Exception = Diades::Utils::Exception< FaultyEventStateMachine >

Private Member Functions
virtual void	eraseEventPropertyId (size_t eventIndex)

Private Attributes
unordered_set< EventPropertyId >	_faultyEventPropertyIds
unordered_set< EventPropertyId >	_normalEventPropertyIds

Additional Inherited Members
Static Public Member Functions inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >
static string	defaultStateMachineName ()
static string	typeName ()
Public Attributes inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >
const StatePropertyId	nullStatePropertyId = NullStatePropertyId().nullValue()
const EventPropertyId	nullEventPropertyId = NullEventPropertyId().nullValue()
Protected Member Functions inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >
EventPropertyId	getEventFromIndex (size_t index) const
State	getStateFromIndex (StatePropertyIdIndex index) const
StatePropertyIdIndex	getIndexOfState (State s) const
Protected Attributes inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >
Diades::Graph::Graph	_behav
unordered_set< State >	_initial
Diades::Graph::NodeMap< bool >	_isInitial

Detailed Description

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>
class Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >

The template class FaultyEventStateMachine aims at defining a generic StateMachine that contains faulty events.

Definition at line 34 of file FaultyEventStateMachine.hh.

Member Typedef Documentation

EventPropertyId

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

using Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::EventPropertyId = _EventPropertyId

Definition at line 37 of file FaultyEventStateMachine.hh.

Exception

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

using Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::Exception = Diades::Utils::Exception<FaultyEventStateMachine>

private

Definition at line 45 of file FaultyEventStateMachine.hh.

FaultyEventPropertyIdIterator

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

typedef unordered_set<EventPropertyId>::const_iterator Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::FaultyEventPropertyIdIterator

Definition at line 41 of file FaultyEventStateMachine.hh.

NormalEventPropertyIdIterator

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

typedef unordered_set<EventPropertyId>::const_iterator Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::NormalEventPropertyIdIterator

Definition at line 40 of file FaultyEventStateMachine.hh.

NullStatePropertyId

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

using Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::NullStatePropertyId = _NullStatePropertyId

Definition at line 38 of file FaultyEventStateMachine.hh.

SM

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

using Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::SM = StateMachine<_StatePropertyId, _EventPropertyId, _NullStatePropertyId>

Definition at line 39 of file FaultyEventStateMachine.hh.

StatePropertyId

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

using Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::StatePropertyId = _StatePropertyId

Definition at line 36 of file FaultyEventStateMachine.hh.

Constructor & Destructor Documentation

FaultyEventStateMachine() [1/2]

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::FaultyEventStateMachine ( )

inline

Default constructor: create an invalid state machine

Definition at line 65 of file FaultyEventStateMachine.hh.

FaultyEventStateMachine() [2/2]

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::FaultyEventStateMachine ( const FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId > &  machine )

inline

Copy contructor

Parameters

machine

the machine to copy

Definition at line 74 of file FaultyEventStateMachine.hh.

~FaultyEventStateMachine()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

virtual Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::~FaultyEventStateMachine ( )

inlinevirtual

Destructor

Definition at line 99 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::clear().

Member Function Documentation

clear()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

virtual void Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::clear ( )

inlinevirtual

clear the StateMachine

Reimplemented from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >.

Definition at line 107 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::clear().

Referenced by Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::~FaultyEventStateMachine().

copyEventPropertyId()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

void Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::copyEventPropertyId ( const FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId > &  m, const EventPropertyId &  event  )

inline

Copy the EventPropertyId of a machine into the current one

Parameters

m	a StateMachine
event	an EventPropertyId this method is used especially in Determine, Abstract, ... As it is virtual, it ensures that events and their properties are properly copied whatever the derived class calls it.

Definition at line 130 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::insertEventPropertyId(), Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::isFaulty(), and Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::setFaulty().

Referenced by Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::copyEventPropertyIds().

copyEventPropertyIds()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

void Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::copyEventPropertyIds ( const FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId > &  m )

inline

Copy all the EventPropertyIds of a machine into the current one

Parameters

m	a StateMachine this method is used especially in Determine, Abstract, ... As it is virtual, it ensures that events and their properties are properly copied whatever the derived class calls it.

Definition at line 145 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::copyEventPropertyId(), Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::eventBegin(), and Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::eventEnd().

eraseEventPropertyId()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

virtual void Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::eraseEventPropertyId ( size_t  eventIndex )

inlineprivatevirtual

Clean up the EventProperty associated to thie index

Parameters

EventIndex

the index of an EventProperty

Precondition

no Transition should be labeled with the given EventProperty (no check here)

Postcondition

The vector of event properties remains tidy (no holes)

Reimplemented from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >.

Definition at line 301 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::eraseEventPropertyId(), and Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::getEventFromIndex().

faultyEventBegin()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

FaultyEventPropertyIdIterator Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::faultyEventBegin ( ) const

inline

Event iterator

Returns

a forward iterator on the faulty events (begin)

Definition at line 223 of file FaultyEventStateMachine.hh.

faultyEventEnd()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

FaultyEventPropertyIdIterator Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::faultyEventEnd ( ) const

inline

Event iterator

Returns

a forward iterator on the faulty events (end)

Definition at line 232 of file FaultyEventStateMachine.hh.

faultyEvents()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

const std::unordered_set<EventPropertyId>& Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::faultyEvents ( ) const

inline

Returns

the set of faulty events

Definition at line 214 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::_faultyEventPropertyIds.

insertEventPropertyId()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

virtual void Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::insertEventPropertyId ( const EventPropertyId &  event )

inlinevirtual

Copy the EventPropertyId of a machine into the current one

Parameters

m	a StateMachine
event	an EventPropertyId this method is used especially in Determine, Abstract, ... As it is virtual, it ensures that events and their properties are properly copied whatever the derived class calls it. Insert the Event if not already inserted. If not already inserted the inserted Event is considered as normal. To change it as faulty use setFaulty(event) turned to be normal
event	an Event

Reimplemented from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >.

Definition at line 178 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::containsEvent(), and Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::insertEventPropertyId().

Referenced by Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::copyEventPropertyId().

isFaulty()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

bool Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::isFaulty ( const EventPropertyId &  e ) const

inline

Parameters

event

the event

Returns

true if the event is faulty in the machine

Definition at line 202 of file FaultyEventStateMachine.hh.

Referenced by Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::copyEventPropertyId(), and Diades::Automata::Experimental::toDotTransitions().

isNormal()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

bool Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::isNormal ( const EventPropertyId &  e ) const

inline

Parameters

event

the event

Returns

true if the event is normal in the machine

Definition at line 253 of file FaultyEventStateMachine.hh.

normalEventBegin()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

NormalEventPropertyIdIterator Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::normalEventBegin ( ) const

inline

Event iterator

Returns

a forward iterator on the normal events (begin)

Definition at line 274 of file FaultyEventStateMachine.hh.

normalEventEnd()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

NormalEventPropertyIdIterator Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::normalEventEnd ( ) const

inline

Event iterator

Returns

a forward iterator on the normal events (end)

Definition at line 283 of file FaultyEventStateMachine.hh.

normalEvents()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

const unordered_set<EventPropertyId>& Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::normalEvents ( ) const

inline

Returns

the set of normal events

Definition at line 265 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::_normalEventPropertyIds.

operator=()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

virtual FaultyEventStateMachine& Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::operator= ( const FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId > &  machine )

inlinevirtual

Assignment operator

Parameters

machine

the StateMachine to copy

Returns

the current updated StateMachine

Definition at line 85 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::_faultyEventPropertyIds, Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::_normalEventPropertyIds, and Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::operator=().

setFaulty()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

void Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::setFaulty ( const EventPropertyId &  e )

inline

Parameters

event

the event to set faulty

Precondition

event must be inserted first Set the event to be faulty

Definition at line 191 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::containsEvent(), and require.

Referenced by Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::copyEventPropertyId().

setNormal()

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

void Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::setNormal ( const EventPropertyId &  e )

inline

Parameters

event

the event to set normal

Precondition

event must be inserted first Set the event to be normal

Definition at line 242 of file FaultyEventStateMachine.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::containsEvent(), and require.

Member Data Documentation

_faultyEventPropertyIds

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

unordered_set<EventPropertyId> Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::_faultyEventPropertyIds

private

Definition at line 50 of file FaultyEventStateMachine.hh.

Referenced by Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::faultyEvents(), and Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::operator=().

_normalEventPropertyIds

template<typename _StatePropertyId, typename _EventPropertyId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullEventPropertyId = NullValue<_EventPropertyId>>

unordered_set<EventPropertyId> Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::_normalEventPropertyIds

private

Definition at line 51 of file FaultyEventStateMachine.hh.

Referenced by Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::normalEvents(), and Diades::Automata::Experimental::FaultyEventStateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::operator=().

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/FaultyEventStateMachine.hh