Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Static Public Member Functions | Static Public Attributes | List of all members
storm::parser::RationalPolicies< NumberType > Struct Template Reference

#include <ExpressionParser.h>

Inheritance diagram for storm::parser::RationalPolicies< NumberType >:
Inheritance graph
[legend]
Collaboration diagram for storm::parser::RationalPolicies< NumberType >:
Collaboration graph
[legend]

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 19 of file ExpressionParser.h.

Member Function Documentation

◆ parse_inf()

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

Definition at line 29 of file ExpressionParser.h.

◆ parse_nan()

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

Definition at line 25 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 21 of file ExpressionParser.h.

◆ allow_trailing_dot

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

Definition at line 22 of file ExpressionParser.h.

◆ expect_dot

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

Definition at line 20 of file ExpressionParser.h.

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