#include <FiniteAutomaton.hh>

Public Types
using	SM = StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId >

using	InputSymbolId = _InputSymbolId

using	StatePropertyId = _StatePropertyId

using	NullStatePropertyId = _NullStatePropertyId

using	NullInputSymbolId = _NullInputSymbolId

using	State = typename SM::State

using	Transition = typename SM::Transition

using	AcceptingStates = std::unordered_set< State >

using	ConstAcceptingStateIterator = typename AcceptingStates::const_iterator

using	AcceptingStateIterator = typename AcceptingStates::iterator

using	InputSymbolIdIterator = typename SM::EventPropertyIdIterator

Public Types inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >
using	StatePropertyId = _StatePropertyId

using	EventPropertyId = _InputSymbolId

using	NullStatePropertyId = _NullStatePropertyId

using	NullEventPropertyId = _NullInputSymbolId

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

using	StatePropertyIdRangeIterator = Diades::Utils::RangeMapperIterator< GetStatePropertyId< StateIterator > >

typedef std::vector< StatePropertyId >::const_iterator	StatePropertyIdIterator

Public Member Functions
	FiniteAutomaton ()

	FiniteAutomaton (const FiniteAutomaton &automaton)

FiniteAutomaton &	operator= (const FiniteAutomaton &automaton)

InputSymbolIdIterator	inputSymbolIdBegin () const

InputSymbolIdIterator	inputSymbolIdEnd () const

const vector< InputSymbolId > &	inputSymbolIds () const

State	initialState () const

virtual bool	isValid () const

decltype(auto)	numberOfInputSymbolIds () const

ConstAcceptingStateIterator	acceptingStateBegin () const

ConstAcceptingStateIterator	acceptingStateEnd () const

const AcceptingStates &	acceptingStates () const

void	swapAcceptingState (State state)
	swap the status of the state as accepting/non-accepting More...

virtual void	clear ()

virtual void	deleteState (State state)
	delete state More...

std::pair< AcceptingStateIterator, bool >	setAcceptingState (State state)

AcceptingStateIterator	unsetAcceptingState (State state)

void	clearAllAcceptingStates ()

decltype(auto)	numberOfAcceptingStates () const

void	insertInputSymbolId (InputSymbolId symbol)

bool	isAcceptingState (State s) const

Public Member Functions inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >
	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)

virtual void	insertEventPropertyId (const EventPropertyId &event)

unsigned	numberOfEvents () const

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

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 Attributes
AcceptingStates	_accepting

Additional Inherited Members
Static Public Member Functions inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >
static string	defaultStateMachineName ()

static string	typeName ()

Public Attributes inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >
const StatePropertyId	nullStatePropertyId

const EventPropertyId	nullEventPropertyId

Protected Member Functions inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >
EventPropertyId	getEventFromIndex (size_t index) const

virtual void	eraseEventPropertyId (size_t eventIndex)

State	getStateFromIndex (StatePropertyIdIndex index) const

StatePropertyIdIndex	getIndexOfState (State s) const

Protected Attributes inherited from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >
Diades::Graph::Graph	_behav

unordered_set< State >	_initial

Diades::Graph::NodeMap< bool >	_isInitial

Detailed Description

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>
class Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >

The template class FiniteAutomaton aims at defining a generic finite automaton (FA). Each state of the FA owns a property of type StatePropertyId. A StatePropertyId should be a copyable, hashable type typically something that is an identifier usually it is a string if there is no StatePropertyManager involved with a given Statemachine but it can be a size_t that links to a StateProperty in a StatePropertyManager.

Each transition is associated with an information of type InputSymbolPropertyId. By construction a StatePropertyId is the property of one state and only one. In this sense, a StatePropertyId fully characterises a state of of the StateMachine. A valid FA always has an initial state. It also contains a subset of accepting (final) states.

See also: StateMachine

Definition at line 48 of file FiniteAutomaton.hh.

Member Typedef Documentation

◆ AcceptingStateIterator

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::AcceptingStateIterator = typename AcceptingStates::iterator

Definition at line 60 of file FiniteAutomaton.hh.

◆ AcceptingStates

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::AcceptingStates = std::unordered_set<State>

Definition at line 58 of file FiniteAutomaton.hh.

◆ ConstAcceptingStateIterator

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::ConstAcceptingStateIterator = typename AcceptingStates::const_iterator

Definition at line 59 of file FiniteAutomaton.hh.

◆ InputSymbolId

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::InputSymbolId = _InputSymbolId

Definition at line 52 of file FiniteAutomaton.hh.

◆ InputSymbolIdIterator

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::InputSymbolIdIterator

Definition at line 65 of file FiniteAutomaton.hh.

◆ NullInputSymbolId

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::NullInputSymbolId = _NullInputSymbolId

Definition at line 55 of file FiniteAutomaton.hh.

◆ NullStatePropertyId

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::NullStatePropertyId = _NullStatePropertyId

Definition at line 54 of file FiniteAutomaton.hh.

◆ SM

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::SM = StateMachine<_StatePropertyId, _InputSymbolId, _NullStatePropertyId>

Definition at line 51 of file FiniteAutomaton.hh.

◆ State

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::State = typename SM::State

Definition at line 56 of file FiniteAutomaton.hh.

◆ StatePropertyId

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::StatePropertyId = _StatePropertyId

Definition at line 53 of file FiniteAutomaton.hh.

◆ Transition

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

using Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::Transition = typename SM::Transition

Definition at line 57 of file FiniteAutomaton.hh.

Constructor & Destructor Documentation

◆ FiniteAutomaton() [1/2]

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::FiniteAutomaton ( )

inline

Default constructor

Definition at line 76 of file FiniteAutomaton.hh.

◆ FiniteAutomaton() [2/2]

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::FiniteAutomaton ( const FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId > & automaton )

inline

Copy constructor

Definition at line 85 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::acceptingStateBegin(), Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::acceptingStateEnd(), Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::behaviour(), and Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::setAcceptingState().

Member Function Documentation

◆ acceptingStateBegin()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

ConstAcceptingStateIterator Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::acceptingStateBegin ( ) const

inline

Returns: the begin iterator over the range of accepting states

Definition at line 195 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::_accepting.

Referenced by Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::FiniteAutomaton(), and Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::operator=().

◆ acceptingStateEnd()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

ConstAcceptingStateIterator Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::acceptingStateEnd ( ) const

inline

Returns: the end iterator over the range of accepting states

Definition at line 205 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::_accepting.

Referenced by Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::FiniteAutomaton(), and Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::operator=().

◆ acceptingStates()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

const AcceptingStates& Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::acceptingStates ( ) const

inline

Returns: the set of accepting states

Definition at line 215 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::_accepting.

◆ clear()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

virtual void Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::clear ( )

inlinevirtual

clear the automaton

Reimplemented from Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >.

Definition at line 244 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::clear(), and Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::clearAllAcceptingStates().

Referenced by Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::operator=().

◆ clearAllAcceptingStates()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

void Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::clearAllAcceptingStates ( )

inline

Clear the set of accepting states

Definition at line 298 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::_accepting.

Referenced by Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::clear().

◆ deleteState()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

virtual void Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::deleteState ( State state )

inlinevirtual

delete state

derives from StateMachine::deleteState and update acceptingStates

Parameters

state the State to delete

Definition at line 259 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::deleteState(), and Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::unsetAcceptingState().

Referenced by trimDdAutStates2().

◆ initialState()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

State Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::initialState ( ) const

inline

Returns: the initial state of the FA (a valid FA has one and only one initial state)

Definition at line 156 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::initialStateBegin(), Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::initialStateEnd(), and Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::numberOfInitialStates().

Referenced by Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::isValid().

◆ inputSymbolIdBegin()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

InputSymbolIdIterator Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::inputSymbolIdBegin ( ) const

inline

Iterator over the set of input symbols

Returns: the begin iterator

See also: eventBegin()

Definition at line 124 of file FiniteAutomaton.hh.

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

◆ inputSymbolIdEnd()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

InputSymbolIdIterator Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::inputSymbolIdEnd ( ) const

inline

Iterator over the set of input symbols

Returns: the end iterator

See also: eventEnd()

Definition at line 135 of file FiniteAutomaton.hh.

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

◆ inputSymbolIds()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

const vector<InputSymbolId>& Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::inputSymbolIds ( ) const

inline

Returns: the set of input symbol ids

See also: events()

Definition at line 146 of file FiniteAutomaton.hh.

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

◆ insertInputSymbolId()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

void Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::insertInputSymbolId ( InputSymbolId symbol )

inline

Insert a new symbol identifier

Parameters

symbol a new symbol identifier

See also: insertInputSymbolId

Definition at line 319 of file FiniteAutomaton.hh.

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

◆ isAcceptingState()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

bool Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::isAcceptingState ( State s ) const

inline

Parameters

s a State

Returns: true if s is an accepting state

Definition at line 330 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::_accepting.

Referenced by Diades::Automata::Experimental::StateCopy< FiniteAutomaton< S, I, NS, NI > >::newState(), Diades::Automata::Experimental::ManagedStateCopy< FiniteAutomaton< S, I, NS, NI >, StateProperty >::newState(), Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::swapAcceptingState(), Diades::Automata::Experimental::toDotStates(), and writeTreeViewTransition().

◆ isValid()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

virtual bool Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::isValid ( ) const

inlinevirtual

Returns: true if the finite automaton is valid that is it contains at least one state that is the initial state

Definition at line 176 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::initialState(), and Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::isValid().

◆ numberOfAcceptingStates()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

decltype(auto) Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::numberOfAcceptingStates ( ) const

inline

Returns: the number of accepting states

Definition at line 308 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::_accepting.

◆ numberOfInputSymbolIds()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

decltype(auto) Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::numberOfInputSymbolIds ( ) const

inline

Returns: the number of input symbols

Definition at line 185 of file FiniteAutomaton.hh.

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

◆ operator=()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

FiniteAutomaton& Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::operator= ( const FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId > & automaton )

inline

Assign operator

Definition at line 101 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::acceptingStateBegin(), Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::acceptingStateEnd(), Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::behaviour(), Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::clear(), Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::operator=(), and Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::setAcceptingState().

◆ setAcceptingState()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

std::pair<AcceptingStateIterator, bool> Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::setAcceptingState ( State state )

inline

Parameters

state a state to become an accepting state in the automaton

Returns: an iterator on the state that has been inserted and a true boolean if the insertion was effective (not already inserted)

Definition at line 272 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::_accepting.

Referenced by applyTag(), Diades::Automata::Experimental::explainFromStates(), Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::FiniteAutomaton(), Diades::Automata::Experimental::ManagedSynchronisedAcceptingStateCreation< S, I, NS, NI, _StateProperty, StatePropertyCombination >::newState(), Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::operator=(), and Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::swapAcceptingState().

◆ swapAcceptingState()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

void Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::swapAcceptingState ( State state )

inline

swap the status of the state as accepting/non-accepting

If the given state is an accepting state then it becomes non accepting And if the state is not an accepting state, it becomes an accepting state

Parameters

state a state of the current StateMachine

Definition at line 227 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::isAcceptingState(), Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::setAcceptingState(), and Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::unsetAcceptingState().

Referenced by applyTag().

◆ unsetAcceptingState()

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

AcceptingStateIterator Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::unsetAcceptingState ( State state )

inline

Parameters

state a state to become an non accepting state in the automaton

Returns: an iterator on the state in the accepting states that succeeded the one that was just removed or end() if the state was not accepting

Definition at line 284 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::_accepting.

Referenced by applyTag(), Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::deleteState(), and Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::swapAcceptingState().

Member Data Documentation

◆ _accepting

template<typename _StatePropertyId, typename _InputSymbolId, typename _NullStatePropertyId = NullValue<_StatePropertyId>, typename _NullInputSymbolId = NullValue< _InputSymbolId>>

AcceptingStates Diades::Automata::Experimental::FiniteAutomaton< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::_accepting

private

Definition at line 68 of file FiniteAutomaton.hh.

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

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

Public Types

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ AcceptingStateIterator

◆ AcceptingStates

◆ ConstAcceptingStateIterator

◆ InputSymbolId

◆ InputSymbolIdIterator

◆ NullInputSymbolId

◆ NullStatePropertyId

◆ SM

◆ State

◆ StatePropertyId

◆ Transition

Constructor & Destructor Documentation

◆ FiniteAutomaton() [1/2]

◆ FiniteAutomaton() [2/2]

Member Function Documentation

◆ acceptingStateBegin()

◆ acceptingStateEnd()

◆ acceptingStates()

◆ clear()

◆ clearAllAcceptingStates()

◆ deleteState()

◆ initialState()

◆ inputSymbolIdBegin()

◆ inputSymbolIdEnd()

◆ inputSymbolIds()

◆ insertInputSymbolId()

◆ isAcceptingState()

◆ isValid()

◆ numberOfAcceptingStates()

◆ numberOfInputSymbolIds()

◆ operator=()

◆ setAcceptingState()

◆ swapAcceptingState()

◆ unsetAcceptingState()

Member Data Documentation

◆ _accepting