|
Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <common/DefaultSymbolType.h>#include <ext/iostream>#include <ext/algorithm>#include <alib/string>#include <alib/set>#include <core/components.hpp>#include <exception/CommonException.h>#include "UnboundedRegExpStructure.h"#include <core/normalize.hpp>#include <alphabet/common/SymbolNormalize.h>#include "../formal/FormalRegExp.h"Go to the source code of this file.
Data Structures | |
| class | regexp::UnboundedRegExp< SymbolType > |
| Unbounded regular expression represents regular expression. It describes regular languages. The expression consists of the following nodes: More... | |
| class | core::SetConstraint< regexp::UnboundedRegExp< SymbolType >, SymbolType, regexp::GeneralAlphabet > |
| struct | core::normalize< regexp::UnboundedRegExp< SymbolType > > |
Namespaces | |
| namespace | regexp |
| namespace | core |