smtrat::parser::SortParser Struct Reference

#include <Sort.h>

Inheritance diagram for smtrat::parser::SortParser:

Collaboration diagram for smtrat::parser::SortParser:

Public Member Functions
	SortParser ()
void	setParameters (const std::vector< std::string > &params)
void	clearParameters ()
carl::Sort	getSort (const Identifier &i)
carl::Sort	getSortWithParam (const Identifier &i, const std::vector< carl::Sort > &params)

Private Attributes
SymbolParser	symbol
IdentifierParser	identifier
qi::symbols< char, carl::Sort >	simpleSort
qi::symbols< char, carl::Sort >	parameters
qi::rule< Iterator, carl::Sort(), Skipper >	sort

Detailed Description

Definition at line 16 of file Sort.h.

Constructor & Destructor Documentation

SortParser()

smtrat::parser::SortParser::SortParser ( )

inline

Definition at line 17 of file Sort.h.

Here is the call graph for this function:

Member Function Documentation

clearParameters()

void smtrat::parser::SortParser::clearParameters ( )

inline

Definition at line 33 of file Sort.h.

getSort()

carl::Sort smtrat::parser::SortParser::getSort ( const Identifier &  i )

inline

Definition at line 37 of file Sort.h.

Here is the caller graph for this function:

getSortWithParam()

carl::Sort smtrat::parser::SortParser::getSortWithParam ( const Identifier &  i, const std::vector< carl::Sort > &  params  )

inline

Definition at line 41 of file Sort.h.

Here is the caller graph for this function:

setParameters()

void smtrat::parser::SortParser::setParameters ( const std::vector< std::string > &  params )

inline

Definition at line 28 of file Sort.h.

Field Documentation

identifier

IdentifierParser smtrat::parser::SortParser::identifier

private

Definition at line 47 of file Sort.h.

parameters

qi::symbols<char, carl::Sort> smtrat::parser::SortParser::parameters

private

Definition at line 49 of file Sort.h.

simpleSort

qi::symbols<char, carl::Sort> smtrat::parser::SortParser::simpleSort

private

Definition at line 48 of file Sort.h.

sort

qi::rule<Iterator, carl::Sort(), Skipper> smtrat::parser::SortParser::sort

private

Definition at line 50 of file Sort.h.

symbol

SymbolParser smtrat::parser::SortParser::symbol

private

Definition at line 46 of file Sort.h.

---

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

• cli/parser/Sort.h