Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
core::SetConstraint< automaton::OneTapeDTM< SymbolType, StateType >, SymbolType, automaton::InputAlphabet > Class Template Reference

#include <OneTapeDTM.h>

Static Public Member Functions

static bool used (const automaton::OneTapeDTM< SymbolType, StateType > &, const SymbolType &)
 
static bool available (const automaton::OneTapeDTM< SymbolType, StateType > &automaton, const SymbolType &symbol)
 
static void valid (const automaton::OneTapeDTM< SymbolType, StateType > &automaton, const SymbolType &symbol)
 

Detailed Description

template<class SymbolType, class StateType>
class core::SetConstraint< automaton::OneTapeDTM< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >

Helper class specifying constraints for the automaton's internal input alphabet component.

Template Parameters
SymbolTypeused for the terminal alphabet of the automaton.
StateTypeused for the terminal alphabet of the automaton.

Member Function Documentation

◆ available()

template<class SymbolType , class StateType >
static bool core::SetConstraint< automaton::OneTapeDTM< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >::available ( const automaton::OneTapeDTM< SymbolType, StateType > &  automaton,
const SymbolType &  symbol 
)
inlinestatic

Determines whether the input symbol is available in the automaton's tape alphabet.

Parameters
automatonthe tested automaton
symbolthe tested symbol
Returns
true if the symbol is already in the tape alphabet of the automaton

◆ used()

template<class SymbolType , class StateType >
static bool core::SetConstraint< automaton::OneTapeDTM< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >::used ( const automaton::OneTapeDTM< SymbolType, StateType > &  ,
const SymbolType &   
)
inlinestatic

Returns false. Input symbol is only a mark that the automaton itself does require further.

Parameters
automatonthe tested automaton
symbolthe tested symbol
Returns
false

◆ valid()

template<class SymbolType , class StateType >
static void core::SetConstraint< automaton::OneTapeDTM< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >::valid ( const automaton::OneTapeDTM< SymbolType, StateType > &  automaton,
const SymbolType &  symbol 
)
inlinestatic

Input symbol can't be the same as blank symbol.

Parameters
automatonthe tested automaton
symbolthe tested symbol
Here is the call graph for this function:

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