IsLanguageEmpty.h

Go to the documentation of this file.

 
#pragma once
 
#include <grammar/properties/ProductiveNonterminals.h>
 
namespace grammar {
 
namespace properties {
 
class IsLanguageEmpty {
public:
    /*
     * Decides whether L( grammar ) = \0
     *
     * Severals steps implemented in method @see grammar::properties::ProductiveNonterminals::getProductiveNonTerminals();
     *
     * \tparam T the type of the tested grammar
     *
     * \param grammar the tested grammar
     *
     * \returns true if L(@p grammar) = \0
     */
    template<class T>
    static bool isLanguageEmpty( const T & grammar );
};
 
template<class T>
bool IsLanguageEmpty::isLanguageEmpty( const T & grammar ) {
    return ! grammar::properties::ProductiveNonterminals::getProductiveNonterminals( grammar ).contains ( grammar.getInitialSymbol( ) );
}
 
} /* namespace properties */
 
} /* namespace grammar */