Identifier.h

Go to the documentation of this file.

#pragma once
 
#include "Common.h"
#include "Lexicon.h"
 
namespace smtrat {
namespace parser {
 
struct IdentifierParser: public qi::grammar<Iterator, Identifier(), Skipper> {
    IdentifierParser(): IdentifierParser::base_type(main, "identifier") {
        main = symbol[qi::_val = px::construct<Identifier>(qi::_1)] | indexed[qi::_val = qi::_1];
        main.name("identifier");
        indexed = (qi::lit("(") >> qi::lit("_") >> symbol >> +numeral >> qi::lit(")"))[qi::_val = px::construct<Identifier>(qi::_1, qi::_2)];
        indexed.name("indexed symbol");
    }
    SymbolParser symbol;
    NumeralParser numeral;
    qi::rule<Iterator, Identifier(), Skipper> main;
    qi::rule<Iterator, Identifier(), Skipper> indexed;
};
 
}
}