SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::parser::SymbolParser Struct Reference

#include <Lexicon.h>

Inheritance diagram for smtrat::parser::SymbolParser:
Collaboration diagram for smtrat::parser::SymbolParser:

Public Member Functions

 SymbolParser ()
 

Data Fields

qi::rule< Iterator, std::string(), Skippermain
 
qi::rule< Iterator, std::string(), Skipperquoted
 
SimpleSymbolParser simple
 

Detailed Description

Definition at line 96 of file Lexicon.h.

Constructor & Destructor Documentation

◆ SymbolParser()

smtrat::parser::SymbolParser::SymbolParser ( )
inline

Definition at line 97 of file Lexicon.h.

Field Documentation

◆ main

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

Definition at line 103 of file Lexicon.h.

◆ quoted

qi::rule<Iterator, std::string(), Skipper> smtrat::parser::SymbolParser::quoted

Definition at line 104 of file Lexicon.h.

◆ simple

SimpleSymbolParser smtrat::parser::SymbolParser::simple

Definition at line 105 of file Lexicon.h.


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