storm::parser::RationalPolicies< NumberType > Struct Template Reference

#include <ExpressionParser.h>

Inheritance diagram for storm::parser::RationalPolicies< NumberType >:

Collaboration diagram for storm::parser::RationalPolicies< NumberType >:

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 &)

Static Public Attributes
static const bool	expect_dot = true
static const bool	allow_leading_dot = true
static const bool	allow_trailing_dot = false

Detailed Description

template<typename NumberType>
struct storm::parser::RationalPolicies< NumberType >

Definition at line 17 of file ExpressionParser.h.

Member Function Documentation

parse_inf()

template<typename NumberType>

template<typename It, typename Attr>

bool storm::parser::RationalPolicies< NumberType >::parse_inf ( It & , It const & , Attr &  )

inlinestatic

Definition at line 27 of file ExpressionParser.h.

parse_nan()

template<typename NumberType>

template<typename It, typename Attr>

bool storm::parser::RationalPolicies< NumberType >::parse_nan ( It & , It const & , Attr &  )

inlinestatic

Definition at line 23 of file ExpressionParser.h.

Member Data Documentation

allow_leading_dot

template<typename NumberType>

const bool storm::parser::RationalPolicies< NumberType >::allow_leading_dot = true

static

Definition at line 19 of file ExpressionParser.h.

allow_trailing_dot

template<typename NumberType>

const bool storm::parser::RationalPolicies< NumberType >::allow_trailing_dot = false

static

Definition at line 20 of file ExpressionParser.h.

expect_dot

template<typename NumberType>

const bool storm::parser::RationalPolicies< NumberType >::expect_dot = true

static

Definition at line 18 of file ExpressionParser.h.

---

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

• src/storm-parsers/parser/ExpressionParser.h