smtrat::parser::QualifiedIdentifierParser Struct Reference

#include <Term.h>

Inheritance diagram for smtrat::parser::QualifiedIdentifierParser:

Collaboration diagram for smtrat::parser::QualifiedIdentifierParser:

Public Member Functions
	QualifiedIdentifierParser ()
Identifier	checkQualification (const Identifier &identifier, const carl::Sort &) const

Data Fields
IdentifierParser	identifier
SortParser	sort
qi::rule< Iterator, Identifier(), Skipper >	main

Detailed Description

Definition at line 15 of file Term.h.

Constructor & Destructor Documentation

QualifiedIdentifierParser()

smtrat::parser::QualifiedIdentifierParser::QualifiedIdentifierParser ( )

inline

Definition at line 16 of file Term.h.

Here is the call graph for this function:

Member Function Documentation

checkQualification()

Identifier smtrat::parser::QualifiedIdentifierParser::checkQualification ( const Identifier &  identifier, const carl::Sort &    ) const

inline

Todo:

Check what can be checked here.

Definition at line 23 of file Term.h.

Here is the caller graph for this function:

Field Documentation

identifier

IdentifierParser smtrat::parser::QualifiedIdentifierParser::identifier

Definition at line 29 of file Term.h.

main

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

Definition at line 31 of file Term.h.

sort

SortParser smtrat::parser::QualifiedIdentifierParser::sort

Definition at line 30 of file Term.h.

---

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

• cli/parser/Term.h