Parses binaries: #b[01]+ More...

#include <Lexicon.h>

Inheritance diagram for smtrat::parser::BinaryParser:

Collaboration diagram for smtrat::parser::BinaryParser:

Public Types
typedef boost::iterator_range< Iterator >	ITRange

Public Member Functions
	BinaryParser ()

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

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

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

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

Detailed Description

Parses binaries: #b[01]+

Definition at line 51 of file Lexicon.h.

Member Typedef Documentation

◆ ITRange

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

Definition at line 52 of file Lexicon.h.

Constructor & Destructor Documentation

◆ BinaryParser()

smtrat::parser::BinaryParser::BinaryParser ( )

inline

Definition at line 53 of file Lexicon.h.

Here is the call graph for this function:

Member Function Documentation

◆ build()

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

inline

Definition at line 57 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::BinaryParser::main

Definition at line 61 of file Lexicon.h.

◆ main2

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

Definition at line 62 of file Lexicon.h.

◆ number

qi::uint_parser<Integer,2,1,-1> smtrat::parser::BinaryParser::number

Definition at line 60 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