smtrat::parser::AttributeValueParser Struct Reference

#include <Attribute.h>

Inheritance diagram for smtrat::parser::AttributeValueParser:

Collaboration diagram for smtrat::parser::AttributeValueParser:

Public Types
typedef conversion::VariantVariantConverter< types::AttributeValue >	Converter

Public Member Functions
	AttributeValueParser ()

Data Fields
SpecConstantParser	specconstant
SymbolParser	symbol
SExpressionParser	sexpression
Converter	converter
qi::rule< Iterator, types::AttributeValue(), Skipper >	main

Detailed Description

Definition at line 12 of file Attribute.h.

Member Typedef Documentation

Converter

typedef conversion::VariantVariantConverter<types::AttributeValue> smtrat::parser::AttributeValueParser::Converter

Definition at line 13 of file Attribute.h.

Constructor & Destructor Documentation

AttributeValueParser()

smtrat::parser::AttributeValueParser::AttributeValueParser ( )

inline

Definition at line 14 of file Attribute.h.

Field Documentation

converter

Converter smtrat::parser::AttributeValueParser::converter

Definition at line 24 of file Attribute.h.

main

qi::rule<Iterator, types::AttributeValue(), Skipper> smtrat::parser::AttributeValueParser::main

Definition at line 25 of file Attribute.h.

sexpression

SExpressionParser smtrat::parser::AttributeValueParser::sexpression

Definition at line 23 of file Attribute.h.

specconstant

SpecConstantParser smtrat::parser::AttributeValueParser::specconstant

Definition at line 21 of file Attribute.h.

symbol

SymbolParser smtrat::parser::AttributeValueParser::symbol

Definition at line 22 of file Attribute.h.

---

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

• cli/parser/Attribute.h