Connect++ 0.6.1
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
schedule::schedule_grammar< It > Struct Template Reference
Inheritance diagram for schedule::schedule_grammar< It >:
Collaboration diagram for schedule::schedule_grammar< It >:

Public Attributes

qi::rule< Iter, ascii::space_type > schedule_item
 
qi::rule< Iter, ascii::space_type > schedule_line
 
qi::rule< Iter, ascii::space_type > schedule
 

Detailed Description

template<typename It>
struct schedule::schedule_grammar< It >

Definition at line 197 of file Schedule.cpp.

Constructor & Destructor Documentation

◆ schedule_grammar()

template<typename It >
schedule::schedule_grammar< It >::schedule_grammar ( )
inline

Definition at line 200 of file Schedule.cpp.

201 : schedule_grammar::base_type(schedule) {
202
203 schedule_item %=
204 ((schedule_word [set_step()])
205 | ((schedule_word_param [set_step()])
206 >> (qi::uint_) [set_value()]));
207
208 schedule_line %=
209 ((qi::uint_ [add_time()])
210 >> *(schedule_item [add_step()])
211 >> lit(';') [next_settings()]);
212
213 schedule %= *schedule_line;
214 }
Hide all the global stuff in this namespace.
Definition Schedule.cpp:27

Member Data Documentation

◆ schedule

template<typename It >
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule

Definition at line 217 of file Schedule.cpp.

◆ schedule_item

template<typename It >
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule_item

Definition at line 215 of file Schedule.cpp.

◆ schedule_line

template<typename It >
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule_line

Definition at line 216 of file Schedule.cpp.


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