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

#include <Term.h>

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

Public Member Functions

 SortedVariableParser ()
 

Data Fields

SymbolParser symbol
 
SortParser sort
 
qi::rule< Iterator, std::pair< std::string, carl::Sort >), Skipper > main
 

Detailed Description

Definition at line 34 of file Term.h.

Constructor & Destructor Documentation

◆ SortedVariableParser()

smtrat::parser::SortedVariableParser::SortedVariableParser ( )
inline

Definition at line 35 of file Term.h.

Field Documentation

◆ main

qi::rule<Iterator, std::pair<std::string, carl::Sort>), Skipper> smtrat::parser::SortedVariableParser::main

Definition at line 40 of file Term.h.

◆ sort

SortParser smtrat::parser::SortedVariableParser::sort

Definition at line 39 of file Term.h.

◆ symbol

SymbolParser smtrat::parser::SortedVariableParser::symbol

Definition at line 38 of file Term.h.

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