SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::parser::DecimalParser Struct Reference

Parses decimals: numeral.0*numeral More...

#include <Lexicon.h>

Inheritance diagram for smtrat::parser::DecimalParser:
Inheritance graph
[legend]
Collaboration diagram for smtrat::parser::DecimalParser:
Collaboration graph
[legend]

Detailed Description

Parses decimals: numeral.0*numeral

Definition at line 29 of file Lexicon.h.

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