Namespace FAIterators

Contains algorithms consuming and producing FAIterators.

Index

Classes

MapFABuilder

Interfaces

MermaidEdge MermaidNode NodeInfo SimplePrintOptions ToDotOptions ToMermaidOptions

Type Aliases

MapFABuilderNode ToDotAttrs

Functions

approximateRejectingWordSet canReachFinal count ensureStableOut filterOutIter forEach fromWordSets fromWords hasCycle intersection iterateStates iterateWordSets languageIsFinite makeDeterministic makeInitialFinal makeInitialNonFinal mapOut mapOutIter removeDeadStates shortestAcceptingPath shortestWordSet toDot toMermaid toRegex toString withGetOut withInitial withIsFinal

Settings

Member Visibility

Theme