smtrat::parser::SimpleSymbolParser Struct Reference

Parses symbols: simple_symbol | quoted_symbol where. More...

#include <Lexicon.h>

Inheritance diagram for smtrat::parser::SimpleSymbolParser:

Collaboration diagram for smtrat::parser::SimpleSymbolParser:

Public Member Functions
	SimpleSymbolParser ()

Data Fields
qi::rule< Iterator, std::string(), Skipper >	main

Detailed Description

Parses symbols: simple_symbol | quoted_symbol where.

• simple_symbol is any string of [0-9a-zA-Z~!@$%^&*_-+=<>.?/] that does not start with a digit and is not a reserved word.
• quoted_symbol is any string of printable characters (including space, tab, line-breaks) except \ and | enclosed in | characters.

Definition at line 89 of file Lexicon.h.

Constructor & Destructor Documentation

SimpleSymbolParser()

smtrat::parser::SimpleSymbolParser::SimpleSymbolParser ( )

inline

Definition at line 90 of file Lexicon.h.

Field Documentation

main

qi::rule<Iterator, std::string(), Skipper> smtrat::parser::SimpleSymbolParser::main

Definition at line 94 of file Lexicon.h.

---

The documentation for this struct was generated from the following file:

• cli/parser/Lexicon.h