Connect++ 0.4.0
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 201 of file Schedule.cpp.

Constructor & Destructor Documentation

◆ schedule_grammar()

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

Definition at line 204 of file Schedule.cpp.

205 : schedule_grammar::base_type(schedule) {
206
207 schedule_item %=
208 ((schedule_word [set_step()])
209 | ((schedule_word_param [set_step()])
210 >> (qi::uint_) [set_value()]));
211
212 schedule_line %=
213 ((qi::uint_ [add_time()])
214 >> *(schedule_item [add_step()])
215 >> lit(';') [next_settings()]);
216
217 schedule %= *schedule_line;
218 }
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 221 of file Schedule.cpp.

◆ schedule_item

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

Definition at line 219 of file Schedule.cpp.

◆ schedule_line

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

Definition at line 220 of file Schedule.cpp.


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