carl::parser::RationalPolicies< T > Struct Template Reference

Specialization of qi::real_policies for our rational types. More...

#include <parser.h>

Inheritance diagram for carl::parser::RationalPolicies< T >:

Collaboration diagram for carl::parser::RationalPolicies< T >:

Static Public Member Functions
template<typename It >
static bool	parse_dot (It &first, const It &last)
template<typename It , typename Attr >
static bool	parse_frac_n (It &first, const It &last, Attr &attr)
template<typename It , typename Attr >
static bool	parse_exp_n (It &first, const It &last, Attr &attr_)
template<typename It , typename Attr >
static bool	parse_nan (It &, const It &, Attr &)
template<typename It , typename Attr >
static bool	parse_inf (It &, const It &, Attr &)

Static Public Attributes
static constexpr bool	T_is_int = carl::is_subset_of_integers_type<T>::value
static constexpr bool	allow_leading_dot = true
static constexpr bool	allow_trailing_dot = true
static constexpr bool	expect_dot = false

Detailed Description

template<typename T>
struct carl::parser::RationalPolicies< T >

Specialization of qi::real_policies for our rational types.

Specifies that neither NaN nor Inf is allowed.

Definition at line 42 of file parser.h.

Member Function Documentation

parse_dot()

template<typename T >

template<typename It >

static bool carl::parser::RationalPolicies< T >::parse_dot ( It &  first, const It &  last  )

inlinestatic

Definition at line 49 of file parser.h.

parse_exp_n()

template<typename T >

template<typename It , typename Attr >

static bool carl::parser::RationalPolicies< T >::parse_exp_n ( It &  first, const It &  last, Attr &  attr_  )

inlinestatic

Definition at line 86 of file parser.h.

parse_frac_n()

template<typename T >

template<typename It , typename Attr >

static bool carl::parser::RationalPolicies< T >::parse_frac_n ( It &  first, const It &  last, Attr &  attr  )

inlinestatic

Definition at line 71 of file parser.h.

Here is the call graph for this function:

parse_inf()

template<typename T >

template<typename It , typename Attr >

static bool carl::parser::RationalPolicies< T >::parse_inf ( It &  , const It &  , Attr &    )

inlinestatic

Definition at line 97 of file parser.h.

parse_nan()

template<typename T >

template<typename It , typename Attr >

static bool carl::parser::RationalPolicies< T >::parse_nan ( It &  , const It &  , Attr &    )

inlinestatic

Definition at line 93 of file parser.h.

Field Documentation

allow_leading_dot

template<typename T >

constexpr bool carl::parser::RationalPolicies< T >::allow_leading_dot = true

staticconstexpr

Definition at line 44 of file parser.h.

allow_trailing_dot

template<typename T >

constexpr bool carl::parser::RationalPolicies< T >::allow_trailing_dot = true

staticconstexpr

Definition at line 45 of file parser.h.

expect_dot

template<typename T >

constexpr bool carl::parser::RationalPolicies< T >::expect_dot = false

staticconstexpr

Definition at line 46 of file parser.h.

T_is_int

template<typename T >

constexpr bool carl::parser::RationalPolicies< T >::T_is_int = carl::is_subset_of_integers_type<T>::value

staticconstexpr

Definition at line 43 of file parser.h.

---

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

• carl-arith/numbers/parser/parser.h