CockeYoungerKasami.h

Go to the documentation of this file.

 
#pragma once
 
#include <global/GlobalData.h>
 
#include <grammar/ContextFree/CNF.h>
#include <string/LinearString.h>
#include <grammar/generate/CockeYoungerKasamiVerbose.h>
 
namespace grammar {
 
namespace generate {
 
class CockeYoungerKasami {
public:
    template < class TerminalSymbolType, class NonterminalSymbolType >
    static bool generate ( const grammar::CNF < TerminalSymbolType, NonterminalSymbolType > & grammar, const string::LinearString < TerminalSymbolType > & string );
 
};
 
template < class TerminalSymbolType, class NonterminalSymbolType >
bool CockeYoungerKasami::generate ( const grammar::CNF < TerminalSymbolType, NonterminalSymbolType > & grammar, const string::LinearString < TerminalSymbolType > & string ) {
    unsigned stringSize = string.getContent ( ).size ( );
 
    if ( ( stringSize == 0 ) && grammar.getGeneratesEpsilon ( ) ) return true;
 
    ext::vector < ext::vector < ext::set < NonterminalSymbolType > > > data = CockeYoungerKasamiVerbose::generate ( grammar, string );
 
    return data[stringSize - 1][0].count ( grammar.getInitialSymbol ( ) );
}
 
} /* namespace generate */
 
} /* namespace grammar */