smtrat::parser::NumeralParser Struct Reference

Parses numerals: (0 | [1-9][0-9]*) More...

#include <Lexicon.h>

Inheritance diagram for smtrat::parser::NumeralParser:

Collaboration diagram for smtrat::parser::NumeralParser:

Detailed Description

Parses numerals: (0 | [1-9][0-9]*)

Definition at line 24 of file Lexicon.h.

---

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

• cli/parser/Lexicon.h