pd_alg_lrm.h
Go to the documentation of this file.
34 extern FAUDES_API std::set<Lr1Configuration> Desc11(const Grammar& gr, uint k, const Lr1Configuration& config);
50 extern FAUDES_API std::set<Lr1Configuration> Desc1(const Grammar& gr, uint k, const std::set<Lr1Configuration>& configs);
65 extern FAUDES_API std::set<Lr1Configuration> Desc(const Grammar& gr, uint k, const std::set<Lr1Configuration>& config);
78 extern FAUDES_API std::set<Lr1Configuration> PassesX(const Lr1Configuration& config, const GrammarSymbolPtr& symbol);
90 extern FAUDES_API std::set<Lr1Configuration> Basis(const std::set<Lr1Configuration> configs, const GrammarSymbolPtr& symbol);
108 extern FAUDES_API std::set<Lr1Configuration> GoTo(const Grammar& gr, uint k, const std::set<Lr1Configuration> configs, const GrammarSymbolPtr& symbol);
124 extern FAUDES_API LrmTransitionMap Lrm1(const Grammar& gr, uint k, const Lr1ConfigurationSetSet& configSetSet);
142 extern FAUDES_API std::pair<LrmTransitionMap,Lr1ConfigurationSetSet> LrmLoop(const Grammar& gr, uint k, const LrmTransitionMap& transitions, const Lr1ConfigurationSetSet& states, Lr1ConfigurationSetSet examineStates);
194 extern FAUDES_API Grammar Aug(const Grammar& gr, const Nonterminal& startSymbol, const Terminal& augSymbol);
libFAUDES 2.28c --- 2016.09.30 --- c++ api documentaion by doxygen |