d1/d96/LR0Parser_8h_source.html

#pragma once


#include <automaton/FSM/DFA.h>

#include <grammar/ContextFree/CFG.h>

#include <grammar/parsing/LRParserTypes.h>


namespace grammar {


namespace parsing {


class LR0Parser {

public:

    static LR0Items getClosure ( LR0Items items, const grammar::CFG < > & originalGrammar );


    static LR0Items getNextStateItems ( const LR0Items & items, const ext::variant < DefaultSymbolType, DefaultSymbolType > & symbol, const grammar::CFG < > & originalGrammar );


    static automaton::DFA < ext::variant < DefaultSymbolType, DefaultSymbolType >, LR0Items > getAutomaton ( const grammar::CFG < > & originalGrammar );

};


} /* namespace parsing */


} /* namespace grammar */


LRParserTypes.h

DFA.h

CFG.h

automaton::DFA
Deterministic finite automaton. Accepts regular languages.
Definition: DFA.h:71

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

ext::variant
Implementation of the variant class allowing to store any type of those listed in the template parame...
Definition: variant.hpp:98

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

grammar::parsing::LR0Parser
Definition: LR0Parser.h:16

grammar::parsing::LR0Parser::getClosure
static LR0Items getClosure(LR0Items items, const grammar::CFG< > &originalGrammar)
Definition: LR0Parser.cpp:14

grammar::parsing::LR0Parser::getNextStateItems
static LR0Items getNextStateItems(const LR0Items &items, const ext::variant< DefaultSymbolType, DefaultSymbolType > &symbol, const grammar::CFG< > &originalGrammar)
Definition: LR0Parser.cpp:44

grammar::parsing::LR0Parser::getAutomaton
static automaton::DFA< ext::variant< DefaultSymbolType, DefaultSymbolType >, LR0Items > getAutomaton(const grammar::CFG< > &originalGrammar)
Definition: LR0Parser.cpp:65

grammar
Definition: ToAutomaton.h:24