d4/d05/AbsorbTerminalSymbol_8h_source.html

#pragma once


#include <grammar/ContextFree/CFG.h>

#include <alib/set>

#include <alib/map>


namespace grammar {


namespace parsing {


class AbsorbTerminalSymbol {

public:

    static void handleAbsobtion ( const grammar::CFG < > & orig, grammar::CFG < > & res, const DefaultSymbolType & terminal, const ext::set < DefaultSymbolType > & nonterminals, const ext::map < DefaultSymbolType, DefaultSymbolType > & nonterminalsPrimed );


    static void absorbTerminalSymbol ( grammar::CFG < > & grammar, const DefaultSymbolType & terminal, const ext::set < DefaultSymbolType > & nonterminals );

};


} /* namespace parsing */


} /* namespace grammar */


CFG.h

ext::map
Class extending the map class from the standard library. Original reason is to allow printing of the ...
Definition: map.hpp:48

ext::set
Definition: set.hpp:44

grammar::CFG
Context free grammar in Chomsky hierarchy or type 2 in Chomsky hierarchy. Generates context free lang...
Definition: CFG.h:67

grammar::parsing::AbsorbTerminalSymbol
Definition: AbsorbTerminalSymbol.h:16

grammar::parsing::AbsorbTerminalSymbol::handleAbsobtion
static void handleAbsobtion(const grammar::CFG< > &orig, grammar::CFG< > &res, const DefaultSymbolType &terminal, const ext::set< DefaultSymbolType > &nonterminals, const ext::map< DefaultSymbolType, DefaultSymbolType > &nonterminalsPrimed)
Definition: AbsorbTerminalSymbol.cpp:13

grammar::parsing::AbsorbTerminalSymbol::absorbTerminalSymbol
static void absorbTerminalSymbol(grammar::CFG< > &grammar, const DefaultSymbolType &terminal, const ext::set< DefaultSymbolType > &nonterminals)
Definition: AbsorbTerminalSymbol.cpp:39

object::Object
Definition: Object.h:16

automaton::simplify::res
return res
Definition: MinimizeByPartitioning.h:145

grammar
Definition: ToAutomaton.h:24