Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Substitute.h
Go to the documentation of this file.
1
6#pragma once
7
9#include <alib/vector>
10
11namespace grammar {
12
13namespace parsing {
14
16public:
18
19};
20
21} /* namespace parsing */
22
23} /* namespace grammar */
24
Implementation of the variant class allowing to store any type of those listed in the template parame...
Definition: variant.hpp:98
Class extending the vector class from the standard library. Original reason is to allow printing of t...
Definition: vector.hpp:45
Context free grammar in Chomsky hierarchy or type 2 in Chomsky hierarchy. Generates context free lang...
Definition: CFG.h:67
Definition: Substitute.h:15
static void substitute(const grammar::CFG< > &orig, grammar::CFG< > &res, const DefaultSymbolType &origLHS, const ext::vector< ext::variant< DefaultSymbolType, DefaultSymbolType > > &origRHS, ext::vector< ext::variant< DefaultSymbolType, DefaultSymbolType > >::const_iterator nonterminal)
Definition: Substitute.cpp:11
Definition: Object.h:16
return res
Definition: MinimizeByPartitioning.h:145
Definition: ToAutomaton.h:24