Epsilon nondeterministic finite automaton. Accepts regular languages. More...

#include <MultiInitialStateEpsilonNFA.h>

Inheritance diagram for automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >:

Collaboration diagram for automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >:

Public Types
typedef SymbolTypeT	SymbolType

typedef StateTypeT	StateType

Public Member Functions
const ext::set< StateType > &	getInitialStates () const &

ext::set< StateType > &&	getInitialStates () &&

bool	addInitialState (StateType state)

void	setInitialStates (ext::set< StateType > states)

void	removeInitialState (const StateType &state)

const ext::set< StateType > &	getStates () const &

ext::set< StateType > &&	getStates () &&

bool	addState (StateType state)

void	setStates (ext::set< StateType > states)

void	removeState (const StateType &state)

const ext::set< StateType > &	getFinalStates () const &

ext::set< StateType > &&	getFinalStates () &&

bool	addFinalState (StateType state)

void	setFinalStates (ext::set< StateType > states)

void	removeFinalState (const StateType &state)

const ext::set< SymbolType > &	getInputAlphabet () const &

ext::set< SymbolType > &&	getInputAlphabet () &&

bool	addInputSymbol (SymbolType symbol)

void	addInputSymbols (ext::set< SymbolType > symbols)

void	setInputAlphabet (ext::set< SymbolType > symbols)

void	removeInputSymbol (const SymbolType &symbol)


	MultiInitialStateEpsilonNFA ()
	Creates a new instance of the automaton with a concrete initial state. More...

	MultiInitialStateEpsilonNFA (ext::set< StateType > states, ext::set< SymbolType > inputAlphabet, ext::set< StateType > initialStates, ext::set< StateType > finalStates)
	Creates a new instance of the automaton with a concrete set of states, input alphabet, initial state, and a set of final states. More...

	MultiInitialStateEpsilonNFA (const EpsilonNFA< SymbolType, StateType > &other)

	MultiInitialStateEpsilonNFA (const MultiInitialStateNFA< SymbolType, StateType > &other)

	MultiInitialStateEpsilonNFA (const NFA< SymbolType, StateType > &other)

	MultiInitialStateEpsilonNFA (const DFA< SymbolType, StateType > &other)

Public Member Functions inherited from core::Components< MultiInitialStateEpsilonNFA< DefaultSymbolType, DefaultStateType >, ext::set< DefaultSymbolType >, component::Set, InputAlphabet, ext::set< DefaultStateType >, component::Set, std::tuple< States, InitialStates, FinalStates > >
void	accessComponent ()

bool	addTransition (StateType from, common::symbol_or_epsilon< SymbolType > input, StateType to)
	Add a transition to the automaton. More...

bool	addTransition (StateType from, SymbolType input, StateType to)
	Add a transition to the automaton. More...

bool	addTransition (StateType from, StateType to)
	Add a transition to the automaton. More...

bool	removeTransition (StateType from, common::symbol_or_epsilon< SymbolType > input, StateType to)
	Removes a transition to the automaton. More...

bool	removeTransition (const StateType &from, const SymbolType &input, const StateType &to)
	Removes a transition from the automaton. More...

bool	removeTransition (const StateType &from, const StateType &to)
	Removes a transition from the automaton. More...

const ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< SymbolType > >, StateType > &	getTransitions () const &

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< SymbolType > >, StateType > &&	getTransitions () &&

ext::multimap< StateType, StateType >	getEpsilonTransitions () const

ext::multimap< ext::pair< StateType, SymbolType >, StateType >	getSymbolTransitions () const

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< SymbolType > >, StateType >	getTransitionsFromState (const StateType &from) const

ext::multimap< StateType, StateType >	getEpsilonTransitionsFromState (const StateType &from) const

ext::multimap< ext::pair< StateType, SymbolType >, StateType >	getSymbolTransitionsFromState (const StateType &from) const

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< SymbolType > >, StateType >	getTransitionsToState (const StateType &to) const

ext::multimap< StateType, StateType >	getEpsilonTransitionsToState (const StateType &to) const

ext::multimap< ext::pair< StateType, SymbolType >, StateType >	getSymbolTransitionsToState (const StateType &to) const

bool	isEpsilonFree () const
	Determines whether the automaton is without epsilon transitions. More...

bool	isDeterministic () const
	Determines whether the automaton is deterministic. More...

bool	isTotal () const
	Determines whether the automaton is total deterministic. More...

auto	operator<=> (const MultiInitialStateEpsilonNFA &other) const

bool	operator== (const MultiInitialStateEpsilonNFA &other) const

ext::ostream &	operator<< (ext::ostream &out, const MultiInitialStateEpsilonNFA &instance)

Additional Inherited Members
Static Public Member Functions inherited from core::Components< MultiInitialStateEpsilonNFA< DefaultSymbolType, DefaultStateType >, ext::set< DefaultSymbolType >, component::Set, InputAlphabet, ext::set< DefaultStateType >, component::Set, std::tuple< States, InitialStates, FinalStates > >
static void	registerComponent ()

static void	unregisterComponent ()

Detailed Description

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>
class automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >

Epsilon nondeterministic finite automaton. Accepts regular languages.

Definition is classical definition of finite automata. A = (Q, T, I, \delta, F), Q (States) = nonempty finite set of states, T (TerminalAlphabet) = finite set of terminal symbols - having this empty won't let automaton do much though, I (InitialStates) = initial states, \delta = transition function of the form A \times a -> P(Q), where A \in Q, a \in T \cup \epsilon\}, and P(Q) is a powerset of states, F (FinalStates) = set of final states

Template Parameters

SymbolTypeT	used for the terminal alphabet
StateTypeT	used to the states, and the initial state of the automaton.

Member Typedef Documentation

◆ StateType

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

typedef StateTypeT automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::StateType

◆ SymbolType

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

typedef SymbolTypeT automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::SymbolType

Constructor & Destructor Documentation

◆ MultiInitialStateEpsilonNFA() [1/6]

template<class SymbolType , class StateType >

automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::MultiInitialStateEpsilonNFA

explicit

Creates a new instance of the automaton with a concrete initial state.

◆ MultiInitialStateEpsilonNFA() [2/6]

template<class SymbolType , class StateType >

automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::MultiInitialStateEpsilonNFA	(	ext::set< StateType >	states,
		ext::set< SymbolType >	inputAlphabet,
		ext::set< StateType >	initialStates,
		ext::set< StateType >	finalStates
	)

explicit

Creates a new instance of the automaton with a concrete set of states, input alphabet, initial state, and a set of final states.

Parameters

states	the initial set of states of the automaton
inputAlphabet	the initial input alphabet
initialState	the initial state of the automaton
finalStates	the initial set of final states of the automaton

◆ MultiInitialStateEpsilonNFA() [3/6]

template<class SymbolType , class StateType >

automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::MultiInitialStateEpsilonNFA ( const EpsilonNFA< SymbolType, StateType > & other )

explicit

◆ MultiInitialStateEpsilonNFA() [4/6]

template<class SymbolType , class StateType >

automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::MultiInitialStateEpsilonNFA ( const MultiInitialStateNFA< SymbolType, StateType > & other )

explicit

Here is the call graph for this function:

◆ MultiInitialStateEpsilonNFA() [5/6]

template<class SymbolType , class StateType >

automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::MultiInitialStateEpsilonNFA ( const NFA< SymbolType, StateType > & other )

explicit

◆ MultiInitialStateEpsilonNFA() [6/6]

Parameters

state the new state to be added to a set of states

Returns: true if the state was indeed added

◆ addTransition() [1/3]

template<class SymbolType , class StateType >

bool automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::addTransition	(	StateType	from,
		common::symbol_or_epsilon< SymbolType >	input,
		StateType	to
	)

Add a transition to the automaton.

The transition is in a form A \times a -> B, where A, B \in Q and a \in T \cup \epsilon\}

Parameters

current	the source state (A)
input	the input symbol or epsilon (a)
next	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components

Returns: true if the transition was indeed added

Here is the call graph for this function:

◆ addTransition() [2/3]

template<class SymbolType , class StateType >

bool automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::addTransition	(	StateType	from,
		StateType	to
	)

Add a transition to the automaton.

The transition is in a form A \times \epsilon -> B, where A, B \in Q

Parameters

current	the source state (A)
next	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components

Returns: true if the transition was indeed added

◆ addTransition() [3/3]

template<class SymbolType , class StateType >

bool automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::addTransition	(	StateType	from,
		SymbolType	input,
		StateType	to
	)

Add a transition to the automaton.

The transition is in a form A \times a -> B, where A, B \in Q and a \in T

Parameters

current	the source state (A)
input	the input symbol (a)
next	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components

Returns: true if the transition was indeed added

◆ getEpsilonTransitions()

template<class SymbolType , class StateType >

ext::multimap< StateType, StateType > automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getEpsilonTransitions

Get the epsilon transitions of the automaton

Returns: epsilon transitions of the automaton

◆ getEpsilonTransitionsFromState()

template<class SymbolType , class StateType >

ext::multimap< StateType, StateType > automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getEpsilonTransitionsFromState ( const StateType & from ) const

Get a subset of epsilon transitions of the automaton, with the source state fixed in the transitions natural representation.

Parameters

from	filter the transition function based on this state as a source state

Returns: a subset of epsilon transitions of the automaton with the source state fixed

Here is the call graph for this function:

◆ getEpsilonTransitionsToState()

template<class SymbolType , class StateType >

ext::multimap< StateType, StateType > automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getEpsilonTransitionsToState ( const StateType & to ) const

Get a subset of epsilon transitions of the automaton, with the target state fixed in the transitions natural representation.

Parameters

to	filter the transition function based on this state as a source state

Returns: a subset of epsilon transitions of the automaton with the target state fixed

Here is the call graph for this function:

◆ getFinalStates() [1/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::set< StateType > && automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::getFinalStates ( ) &&

inline

Getter of final states.

Returns: the final states of the automaton

Here is the call graph for this function:

◆ getFinalStates() [2/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::set< StateType > & automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::getFinalStates ( ) const &

inline

Getter of final states.

Returns: the final states of the automaton

Here is the caller graph for this function:

◆ getInitialStates() [1/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::set< StateType > && automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::getInitialStates ( ) &&

inline

Getter of initial states.

Returns: the initial states of the automaton

Here is the call graph for this function:

◆ getInitialStates() [2/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::set< StateType > & automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::getInitialStates ( ) const &

inline

Getter of initial states.

Returns: the initial states of the automaton

Here is the caller graph for this function:

◆ getInputAlphabet() [1/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::set< SymbolType > && automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::getInputAlphabet ( ) &&

inline

Getter of the input alphabet.

Returns: the input alphabet of the automaton

Here is the call graph for this function:

◆ getInputAlphabet() [2/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::set< SymbolType > & automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::getInputAlphabet ( ) const &

inline

Getter of the input alphabet.

Returns: the input alphabet of the automaton

Here is the caller graph for this function:

◆ getStates() [1/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::set< StateType > && automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::getStates ( ) &&

inline

Getter of states.

Returns: the states of the automaton

Here is the call graph for this function:

◆ getStates() [2/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::set< StateType > & automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::getStates ( ) const &

inline

Getter of states.

Returns: the states of the automaton

Here is the caller graph for this function:

◆ getSymbolTransitions()

template<class SymbolType , class StateType >

ext::multimap< ext::pair< StateType, SymbolType >, StateType > automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getSymbolTransitions

Get the non-epsilon transitions of the automaton

Returns: non-epsilon transitions of the automaton

Here is the call graph for this function:

◆ getSymbolTransitionsFromState()

template<class SymbolType , class StateType >

ext::multimap< ext::pair< StateType, SymbolType >, StateType > automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getSymbolTransitionsFromState ( const StateType & from ) const

Get a subset of non-epsilon transitions of the automaton, with the source state fixed in the transitions natural representation.

Parameters

from	filter the transition function based on this state as a source state

Returns: a subset of non-epsilon transitions of the automaton with the source state fixed

Here is the call graph for this function:

◆ getSymbolTransitionsToState()

template<class SymbolType , class StateType >

ext::multimap< ext::pair< StateType, SymbolType >, StateType > automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getSymbolTransitionsToState ( const StateType & to ) const

Get a subset of non-epsilon transitions of the automaton, with the target state fixed in the transitions natural representation.

Parameters

to	filter the transition function based on this state as a source state

Returns: a subset of non-epsilon transitions of the automaton with the target state fixed

Here is the call graph for this function:

◆ getTransitions() [1/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< SymbolType > >, StateType > && automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getTransitions ( ) &&

Get the transition function of the automaton in its natural form.

Returns: transition function of the automaton

◆ getTransitions() [2/2]

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

const ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< SymbolType > >, StateType > & automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getTransitions ( ) const &

Get the transition function of the automaton in its natural form.

Returns: transition function of the automaton

Here is the caller graph for this function:

◆ getTransitionsFromState()

template<class SymbolType , class StateType >

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< SymbolType > >, StateType > automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getTransitionsFromState ( const StateType & from ) const

Get a subset of the transition function of the automaton, with the source state fixed in the transitions natural representation.

Parameters

from	filter the transition function based on this state as a source state

Returns: a subset of the transition function of the automaton with the source state fixed

Here is the call graph for this function:

◆ getTransitionsToState()

template<class SymbolType , class StateType >

ext::multimap< ext::pair< StateType, common::symbol_or_epsilon< SymbolType > >, StateType > automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::getTransitionsToState ( const StateType & to ) const

Get a subset of the transition function of the automaton, with the target state fixed in the transitions natural representation.

Parameters

to	filter the transition function based on this state as a source state

Returns: a subset of the transition function of the automaton with the target state fixed

Here is the call graph for this function:

◆ isDeterministic()

template<class SymbolType , class StateType >

bool automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::isDeterministic

Determines whether the automaton is deterministic.

The automaton is deterministic if and only if:

is epsilon free.
size of transition function \delta (from state, input symbol) \leq 1

Returns: true if the automaton is deterministic, false otherwise

◆ isEpsilonFree()

template<class SymbolType , class StateType >

bool automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::isEpsilonFree

Determines whether the automaton is without epsilon transitions.

Returns: true when automaton doesn't contain epsilon transitions, false otherwise

◆ isTotal()

template<class SymbolType , class StateType >

bool automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::isTotal

Determines whether the automaton is total deterministic.

The automaton is deterministic if and only if:

it is deterministic
size of transition function \forall states and \forall input symbols \delta (from state, input symbol) = 1

Returns: true if the automaton is total deterministic, false otherwise

◆ operator<=>()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

auto automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::operator<=> ( const MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT > & other ) const

inline

The three way comparison implementation

Parameters

other the other instance

Returns: the ordering between this object and the other.

Here is the call graph for this function:

◆ operator==()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

bool automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::operator== ( const MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT > & other ) const

inline

The equality comparison implementation.

Parameters

other the other object to compare with.

Returns: true if this and other objects are equal, false othervise

Here is the call graph for this function:

◆ removeFinalState()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::removeFinalState ( const StateType & state )

inline

Remover of a final state.

Parameters

state a state to be removed from a set of final states

Returns: true if the state was indeed removed

◆ removeInitialState()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::removeInitialState ( const StateType & state )

inline

Remover of a initial state.

Parameters

state a state to be removed from a set of initial states

Returns: true if the state was indeed removed

◆ removeInputSymbol()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::removeInputSymbol ( const SymbolType & symbol )

inline

Remover of an input symbol.

Parameters

symbol a symbol to be removed from an input alphabet

Returns: true if the symbol was indeed removed

◆ removeState()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::removeState ( const StateType & state )

inline

Remover of a state.

Parameters

state a state to be removed from a set of states

Returns: true if the state was indeed removed

◆ removeTransition() [1/3]

template<class SymbolType , class StateType >

bool automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::removeTransition	(	const StateType &	from,
		const StateType &	to
	)

Removes a transition from the automaton.

The transition is in a form A \times \epsilon -> B, where A, B \in Q

Parameters

current	the source state (A)
next	the target state (B)

Returns: true if the transition was indeed removed

◆ removeTransition() [2/3]

template<class SymbolType , class StateType >

bool automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::removeTransition	(	const StateType &	from,
		const SymbolType &	input,
		const StateType &	to
	)

Removes a transition from the automaton.

The transition is in a form A \times a -> B, where A, B \in Q and a \in T

Parameters

current	the source state (A)
input	the input symbol (a)
next	the target state (B)

Returns: true if the transition was indeed removed

◆ removeTransition() [3/3]

template<class SymbolType , class StateType >

bool automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >::removeTransition	(	StateType	from,
		common::symbol_or_epsilon< SymbolType >	input,
		StateType	to
	)

Removes a transition to the automaton.

The transition is in a form A \times a -> B, where A, B \in Q and a \in T \cup \epsilon\}

Parameters

current	the source state (A)
input	the input symbol or epsilon (a)
next	the target state (B)

Exceptions

AutomatonException when transition contains state or symbol not present in the automaton components

Returns: true if the transition was indeed added

Here is the call graph for this function:

◆ setFinalStates()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::setFinalStates ( ext::set< StateType > states )

inline

Setter of final states.

Parameters

states completely new set of final states

◆ setInitialStates()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::setInitialStates ( ext::set< StateType > states )

inline

Setter of initial states.

Parameters

states completely new set of initial states

◆ setInputAlphabet()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::setInputAlphabet ( ext::set< SymbolType > symbols )

inline

Setter of input alphabet.

Parameters

symbols completely new input alphabet

◆ setStates()

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

void automaton::MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT >::setStates ( ext::set< StateType > states )

inline

Setter of states.

Parameters

states completely new set of states

Friends And Related Function Documentation

◆ operator<<

template<class SymbolTypeT = DefaultSymbolType, class StateTypeT = DefaultStateType>

ext::ostream & operator<<	(	ext::ostream &	out,
		const MultiInitialStateEpsilonNFA< SymbolTypeT, StateTypeT > &	instance
	)

friend

Print this object as raw representation to ostream.

Parameters

out	ostream where to print
instance	object to print

Returns: modified output stream

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

alib2data/src/automaton/FSM/MultiInitialStateEpsilonNFA.h

Public Types

Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ StateType

◆ SymbolType

Constructor & Destructor Documentation

◆ MultiInitialStateEpsilonNFA() [1/6]

◆ MultiInitialStateEpsilonNFA() [2/6]

◆ MultiInitialStateEpsilonNFA() [3/6]

◆ MultiInitialStateEpsilonNFA() [4/6]

◆ MultiInitialStateEpsilonNFA() [5/6]

◆ MultiInitialStateEpsilonNFA() [6/6]

Member Function Documentation

◆ addFinalState()

◆ addInitialState()

◆ addInputSymbol()

◆ addInputSymbols()

◆ addState()

◆ addTransition() [1/3]

◆ addTransition() [2/3]

◆ addTransition() [3/3]

◆ getEpsilonTransitions()

◆ getEpsilonTransitionsFromState()

◆ getEpsilonTransitionsToState()

◆ getFinalStates() [1/2]

◆ getFinalStates() [2/2]

◆ getInitialStates() [1/2]

◆ getInitialStates() [2/2]

◆ getInputAlphabet() [1/2]

◆ getInputAlphabet() [2/2]

◆ getStates() [1/2]

◆ getStates() [2/2]

◆ getSymbolTransitions()

◆ getSymbolTransitionsFromState()

◆ getSymbolTransitionsToState()

◆ getTransitions() [1/2]

◆ getTransitions() [2/2]

◆ getTransitionsFromState()

◆ getTransitionsToState()

◆ isDeterministic()

◆ isEpsilonFree()

◆ isTotal()

◆ operator<=>()

◆ operator==()

◆ removeFinalState()

◆ removeInitialState()

◆ removeInputSymbol()

◆ removeState()

◆ removeTransition() [1/3]

◆ removeTransition() [2/3]

◆ removeTransition() [3/3]

◆ setFinalStates()

◆ setInitialStates()

◆ setInputAlphabet()

◆ setStates()

Friends And Related Function Documentation

◆ operator<<