smtrat::parser::ScriptParser< Callee > Struct Template Reference

#include <Script.h>

Inheritance diagram for smtrat::parser::ScriptParser< Callee >:

Collaboration diagram for smtrat::parser::ScriptParser< Callee >:

Public Member Functions
	ScriptParser (InstructionHandler &h, Theories &theories, Callee &callee)
void	startFunctionDefinition ()

Data Fields
InstructionHandler &	handler
Callee &	callee
ParserState	state
Theories &	theories
LogicParser	logic
AttributeParser	attribute
KeywordParser	keyword
NumeralParser	numeral
DecimalParser	decimal
SortParser	sort
SortedVariableParser	sortedvariable
StringParser	string
SymbolParser	symbol
TermParser	term
qi::rule< Iterator, types::VariableType(), Skipper >	functionDefinitionArg
qi::rule< Iterator, Skipper >	functionDefinition
qi::rule< Iterator, Skipper >	command
qi::rule< Iterator, Skipper >	main
px::function< ErrorHandler >	errorHandler

Detailed Description

template<typename Callee>
struct smtrat::parser::ScriptParser< Callee >

Definition at line 47 of file Script.h.

Constructor & Destructor Documentation

ScriptParser()

template<typename Callee >

smtrat::parser::ScriptParser< Callee >::ScriptParser ( InstructionHandler &  h, Theories &  theories, Callee &  callee  )

inline

Definition at line 48 of file Script.h.

Here is the call graph for this function:

Member Function Documentation

startFunctionDefinition()

template<typename Callee >

void smtrat::parser::ScriptParser< Callee >::startFunctionDefinition ( )

inline

Definition at line 126 of file Script.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Field Documentation

attribute

template<typename Callee >

AttributeParser smtrat::parser::ScriptParser< Callee >::attribute

Definition at line 109 of file Script.h.

callee

template<typename Callee >

Callee& smtrat::parser::ScriptParser< Callee >::callee

Definition at line 104 of file Script.h.

command

template<typename Callee >

qi::rule<Iterator, Skipper> smtrat::parser::ScriptParser< Callee >::command

Definition at line 121 of file Script.h.

decimal

template<typename Callee >

DecimalParser smtrat::parser::ScriptParser< Callee >::decimal

Definition at line 112 of file Script.h.

errorHandler

template<typename Callee >

px::function<ErrorHandler> smtrat::parser::ScriptParser< Callee >::errorHandler

Definition at line 124 of file Script.h.

functionDefinition

template<typename Callee >

qi::rule<Iterator, Skipper> smtrat::parser::ScriptParser< Callee >::functionDefinition

Definition at line 120 of file Script.h.

functionDefinitionArg

template<typename Callee >

qi::rule<Iterator, types::VariableType(), Skipper> smtrat::parser::ScriptParser< Callee >::functionDefinitionArg

Definition at line 119 of file Script.h.

handler

template<typename Callee >

InstructionHandler& smtrat::parser::ScriptParser< Callee >::handler

Definition at line 103 of file Script.h.

keyword

template<typename Callee >

KeywordParser smtrat::parser::ScriptParser< Callee >::keyword

Definition at line 110 of file Script.h.

logic

template<typename Callee >

LogicParser smtrat::parser::ScriptParser< Callee >::logic

Definition at line 108 of file Script.h.

main

template<typename Callee >

qi::rule<Iterator, Skipper> smtrat::parser::ScriptParser< Callee >::main

Definition at line 122 of file Script.h.

numeral

template<typename Callee >

NumeralParser smtrat::parser::ScriptParser< Callee >::numeral

Definition at line 111 of file Script.h.

sort

template<typename Callee >

SortParser smtrat::parser::ScriptParser< Callee >::sort

Definition at line 113 of file Script.h.

sortedvariable

template<typename Callee >

SortedVariableParser smtrat::parser::ScriptParser< Callee >::sortedvariable

Definition at line 114 of file Script.h.

state

template<typename Callee >

ParserState smtrat::parser::ScriptParser< Callee >::state

Definition at line 105 of file Script.h.

string

template<typename Callee >

StringParser smtrat::parser::ScriptParser< Callee >::string

Definition at line 115 of file Script.h.

symbol

template<typename Callee >

SymbolParser smtrat::parser::ScriptParser< Callee >::symbol

Definition at line 116 of file Script.h.

term

template<typename Callee >

TermParser smtrat::parser::ScriptParser< Callee >::term

Definition at line 117 of file Script.h.

theories

template<typename Callee >

Theories& smtrat::parser::ScriptParser< Callee >::theories

Definition at line 106 of file Script.h.

---

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

• cli/parser/Script.h