Parses hexadecimals: #x[0-9a-fA-F]+ More...

#include <Lexicon.h>

Inheritance diagram for smtrat::parser::HexadecimalParser:

Collaboration diagram for smtrat::parser::HexadecimalParser:

Public Types
typedef boost::iterator_range< Iterator >	ITRange

Public Member Functions
	HexadecimalParser ()

FixedWidthConstant< Integer >	build (const ITRange &itr, const Integer &val)

Data Fields
qi::uint_parser< Integer, 16, 1,-1 >	number

qi::rule< Iterator, FixedWidthConstant< Integer >), Skipper, qi::locals< Integer > >	main

qi::rule< Iterator, FixedWidthConstant< Integer >), Skipper >	main2

Detailed Description

Parses hexadecimals: #x[0-9a-fA-F]+

Definition at line 34 of file Lexicon.h.

Member Typedef Documentation

◆ ITRange

typedef boost::iterator_range<Iterator> smtrat::parser::HexadecimalParser::ITRange

Definition at line 35 of file Lexicon.h.

Constructor & Destructor Documentation

◆ HexadecimalParser()

smtrat::parser::HexadecimalParser::HexadecimalParser ( )

inline

Definition at line 36 of file Lexicon.h.

Here is the call graph for this function:

Member Function Documentation

◆ build()

FixedWidthConstant<Integer> smtrat::parser::HexadecimalParser::build	(	const ITRange &	itr,
		const Integer &	val
	)

inline

Definition at line 40 of file Lexicon.h.

Here is the caller graph for this function:

Field Documentation

◆ main

qi::rule<Iterator, FixedWidthConstant<Integer>), Skipper, qi::locals<Integer> > smtrat::parser::HexadecimalParser::main

Definition at line 44 of file Lexicon.h.

◆ main2

qi::rule<Iterator, FixedWidthConstant<Integer>), Skipper> smtrat::parser::HexadecimalParser::main2

Definition at line 45 of file Lexicon.h.

◆ number

qi::uint_parser<Integer,16,1,-1> smtrat::parser::HexadecimalParser::number

Definition at line 43 of file Lexicon.h.

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

cli/parser/Lexicon.h

Public Types

Public Member Functions

Data Fields