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

Parses keywords: :simple_symbol More...

#include <Lexicon.h>

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

Public Member Functions

 KeywordParser ()
 

Data Fields

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

Detailed Description

Parses keywords: :simple_symbol

Definition at line 111 of file Lexicon.h.

Constructor & Destructor Documentation

◆ KeywordParser()

smtrat::parser::KeywordParser::KeywordParser ( )
inline

Definition at line 112 of file Lexicon.h.

Field Documentation

◆ main

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

Definition at line 116 of file Lexicon.h.

◆ simple

SimpleSymbolParser smtrat::parser::KeywordParser::simple

Definition at line 117 of file Lexicon.h.

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