#include <Term.h>

Inheritance diagram for smtrat::parser::TermParser:

Collaboration diagram for smtrat::parser::TermParser:

[legend]

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

Public Member Functions
	TermParser (Theories *theories)

void	declareQuantifiedVariable (const std::vector< std::pair< std::string, carl::Sort >> &vars)

Data Fields
Theories *	theories

SymbolParser	symbol

SpecConstantParser	specconstant

QualifiedIdentifierParser	qualifiedidentifier

SortedVariableParser	sortedvariable

AttributeParser	attribute

Converter	converter

qi::rule< Iterator, Skipper >	binding

qi::rule< Iterator, types::TermType(), Skipper >	termop

qi::rule< Iterator, types::TermType(), Skipper >	main

Detailed Description

Definition at line 43 of file Term.h.

Member Typedef Documentation

◆ Converter

typedef conversion::VariantVariantConverter<types::TermType> smtrat::parser::TermParser::Converter

Definition at line 44 of file Term.h.

Constructor & Destructor Documentation

◆ TermParser()

smtrat::parser::TermParser::TermParser ( Theories * theories )

inline

Definition at line 45 of file Term.h.

Here is the call graph for this function:

Member Function Documentation

◆ declareQuantifiedVariable()

void smtrat::parser::TermParser::declareQuantifiedVariable ( const std::vector< std::pair< std::string, carl::Sort >> & vars )

inline

Definition at line 61 of file Term.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Field Documentation

◆ attribute

AttributeParser smtrat::parser::TermParser::attribute

Definition at line 75 of file Term.h.

◆ binding

qi::rule<Iterator, Skipper> smtrat::parser::TermParser::binding

Definition at line 77 of file Term.h.

◆ converter

Converter smtrat::parser::TermParser::converter

Definition at line 76 of file Term.h.

◆ main

qi::rule<Iterator, types::TermType(), Skipper> smtrat::parser::TermParser::main

Definition at line 79 of file Term.h.

◆ qualifiedidentifier

QualifiedIdentifierParser smtrat::parser::TermParser::qualifiedidentifier

Definition at line 73 of file Term.h.

◆ sortedvariable

SortedVariableParser smtrat::parser::TermParser::sortedvariable

Definition at line 74 of file Term.h.

◆ specconstant

SpecConstantParser smtrat::parser::TermParser::specconstant

Definition at line 72 of file Term.h.

◆ symbol

SymbolParser smtrat::parser::TermParser::symbol

Definition at line 71 of file Term.h.

◆ termop

qi::rule<Iterator, types::TermType(), Skipper> smtrat::parser::TermParser::termop

Definition at line 78 of file Term.h.

◆ theories

Theories* smtrat::parser::TermParser::theories

Definition at line 70 of file Term.h.

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

cli/parser/Term.h

Public Types

Public Member Functions

Data Fields