Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SpiritParserDefinitions.h File Reference
#include <boost/phoenix.hpp>
#include <boost/spirit/home/classic/iterator/position_iterator.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/support_line_pos_iterator.hpp>
#include <boost/typeof/typeof.hpp>
Include dependency graph for SpiritParserDefinitions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  storm
 LabParser.cpp.
 

Macros

#define BOOST_SPIRIT_USE_PHOENIX_V3
 
#define BOOST_SPIRIT_UNICODE
 

Typedefs

typedef std::string::const_iterator BaseIteratorType
 
typedef boost::spirit::line_pos_iterator< BaseIteratorTypePositionIteratorType
 
typedef PositionIteratorType Iterator
 

Functions

typedef BOOST_TYPEOF (storm::spirit_encoding::space_type()|qi::lit("//") > > *(qi::char_ -(qi::eol|qi::eoi)) > >(qi::eol|qi::eoi)) Skipper
 

Macro Definition Documentation

◆ BOOST_SPIRIT_UNICODE

#define BOOST_SPIRIT_UNICODE

Definition at line 9 of file SpiritParserDefinitions.h.

◆ BOOST_SPIRIT_USE_PHOENIX_V3

#define BOOST_SPIRIT_USE_PHOENIX_V3

Definition at line 8 of file SpiritParserDefinitions.h.

Typedef Documentation

◆ BaseIteratorType

typedef std::string::const_iterator BaseIteratorType

Definition at line 21 of file SpiritParserDefinitions.h.

◆ Iterator

Definition at line 23 of file SpiritParserDefinitions.h.

◆ PositionIteratorType

typedef boost::spirit::line_pos_iterator<BaseIteratorType> PositionIteratorType

Definition at line 22 of file SpiritParserDefinitions.h.

Function Documentation

◆ BOOST_TYPEOF()

typedef BOOST_TYPEOF ( storm::spirit_encoding::space_type()|qi::lit("//")  ,
qi::char_ -(qi::eol|qi::eoi),
(qi::eol|qi::eoi)   
)