SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::parser::BitvectorConstantParser Struct Reference
Inheritance diagram for smtrat::parser::BitvectorConstantParser:
Inheritance graph
[legend]
Collaboration diagram for smtrat::parser::BitvectorConstantParser:
Collaboration graph
[legend]

Public Member Functions

 BitvectorConstantParser ()
 

Data Fields

qi::uint_parser< Integer, 10, 1,-1 > number
 
qi::rule< std::string::const_iterator, Integer()> main
 

Detailed Description

Definition at line 170 of file Bitvector.cpp.

Constructor & Destructor Documentation

◆ BitvectorConstantParser()

smtrat::parser::BitvectorConstantParser::BitvectorConstantParser ( )
inline

Definition at line 171 of file Bitvector.cpp.

Field Documentation

◆ main

qi::rule<std::string::const_iterator, Integer()> smtrat::parser::BitvectorConstantParser::main

Definition at line 175 of file Bitvector.cpp.

◆ number

qi::uint_parser<Integer,10,1,-1> smtrat::parser::BitvectorConstantParser::number

Definition at line 174 of file Bitvector.cpp.

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