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) |