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

#include <Attribute.h>

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

Public Member Functions

 AttributeParser ()
 

Data Fields

KeywordParser keyword
 
AttributeValueParser value
 
qi::rule< Iterator, Attribute(), Skipper > main
 

Detailed Description

Definition at line 29 of file Attribute.h.

Constructor & Destructor Documentation

◆ AttributeParser()

smtrat::parser::AttributeParser::AttributeParser ( )
inline

Definition at line 30 of file Attribute.h.

Field Documentation

◆ keyword

KeywordParser smtrat::parser::AttributeParser::keyword

Definition at line 33 of file Attribute.h.

◆ main

qi::rule<Iterator, Attribute(), Skipper> smtrat::parser::AttributeParser::main

Definition at line 35 of file Attribute.h.

◆ value

AttributeValueParser smtrat::parser::AttributeParser::value

Definition at line 34 of file Attribute.h.

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