smtrat::parser::RationalPolicies Struct Reference

Specialization of qi::real_policies for a Rational. More...

#include <Lexicon.h>

Inheritance diagram for smtrat::parser::RationalPolicies:

Collaboration diagram for smtrat::parser::RationalPolicies:

Static Public Member Functions
template<typename It , typename Attr >
static bool	parse_nan (It &, It const &, Attr &)
template<typename It , typename Attr >
static bool	parse_inf (It &, It const &, Attr &)

Detailed Description

Specialization of qi::real_policies for a Rational.

Specifies that neither NaN nor Inf is allowed.

Definition at line 14 of file Lexicon.h.

Member Function Documentation

parse_inf()

template<typename It , typename Attr >

static bool smtrat::parser::RationalPolicies::parse_inf ( It &  , It const &  , Attr &    )

inlinestatic

Definition at line 18 of file Lexicon.h.

parse_nan()

template<typename It , typename Attr >

static bool smtrat::parser::RationalPolicies::parse_nan ( It &  , It const &  , Attr &    )

inlinestatic

Definition at line 16 of file Lexicon.h.

---

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

• cli/parser/Lexicon.h