automaton::properties::InfiniteLanguage Class Reference

#include <InfiniteLanguage.h>

Static Public Member Functions
template<class T > requires isDFA < T > || isNFA < T >
static bool	infinite (const T &fsm)

Detailed Description

Determine whether language defined by DFA is infinite.

Member Function Documentation

infinite()

template<class T >
requires isDFA < T > || isNFA < T >

bool automaton::properties::InfiniteLanguage::infinite ( const T &  fsm )

static

Detects whether the language accepted by the automaton is finite or infinite.

@T the type of tested automaton

Parameters

fsm

automaton

Returns

boolean indicating infinitness of the language

Here is the call graph for this function:

---

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

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