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

#include <Identifier.h>

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

Public Member Functions

 IdentifierParser ()
 

Data Fields

SymbolParser symbol
 
NumeralParser numeral
 
qi::rule< Iterator, Identifier(), Skipper > main
 
qi::rule< Iterator, Identifier(), Skipper > indexed
 

Detailed Description

Definition at line 9 of file Identifier.h.

Constructor & Destructor Documentation

◆ IdentifierParser()

smtrat::parser::IdentifierParser::IdentifierParser ( )
inline

Definition at line 10 of file Identifier.h.

Field Documentation

◆ indexed

qi::rule<Iterator, Identifier(), Skipper> smtrat::parser::IdentifierParser::indexed

Definition at line 19 of file Identifier.h.

◆ main

qi::rule<Iterator, Identifier(), Skipper> smtrat::parser::IdentifierParser::main

Definition at line 18 of file Identifier.h.

◆ numeral

NumeralParser smtrat::parser::IdentifierParser::numeral

Definition at line 17 of file Identifier.h.

◆ symbol

SymbolParser smtrat::parser::IdentifierParser::symbol

Definition at line 16 of file Identifier.h.

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