SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::parser::StringParser Struct Reference

Parses strings: ".+" with escape sequences \\" and \\\\ More...

#include <Lexicon.h>

Inheritance diagram for smtrat::parser::StringParser:
Inheritance graph
[legend]
Collaboration diagram for smtrat::parser::StringParser:
Collaboration graph
[legend]

Public Member Functions

 StringParser ()
 

Data Fields

qi::symbols< char, char > escapes
 
qi::rule< Iterator, std::string(), Skipper > main
 

Detailed Description

Parses strings: ".+" with escape sequences \\" and \\\\

Definition at line 68 of file Lexicon.h.

Constructor & Destructor Documentation

◆ StringParser()

smtrat::parser::StringParser::StringParser ( )
inline

Definition at line 69 of file Lexicon.h.

Field Documentation

◆ escapes

qi::symbols<char, char> smtrat::parser::StringParser::escapes

Definition at line 76 of file Lexicon.h.

◆ main

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

Definition at line 77 of file Lexicon.h.

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