|
Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <GlushkovFollowNaive.h>
Data Structures | |
| class | Formal |
Static Public Member Functions | |
| template<class SymbolType > | |
| static ext::set< ext::vector< common::ranked_symbol< SymbolType > > > | follow (const rte::FormalRTE< SymbolType > &rte, const common::ranked_symbol< SymbolType > &symbol) |
|
static |
| re | rte to probe |
| symbol | FormalRTESymbol for which we need the follow(), i.e., Follow(RTE, symbol) |