automaton::properties::SynchronizingWordExistence Class Reference

#include <SynchronizingWordExistence.h>

Static Public Member Functions
template<class SymbolType , class StateType >
static bool	exists (const automaton::DFA< SymbolType, StateType > &dfa)

Detailed Description

Algorithm determining the existence of a synchronizing word on an automaton.

Member Function Documentation

exists()

template<class SymbolType , class StateType >

bool automaton::properties::SynchronizingWordExistence::exists ( const automaton::DFA< SymbolType, StateType > &  dfa )

static

Checks whether the given DFA has a synchronizing word.

Parameters

dfa

automaton

Returns

boolean indicating whether the automaton has a synchronizing word

Here is the call graph for this function:

---

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

• alib2algo/src/automaton/properties/SynchronizingWordExistence.h