Connect++ 0.3.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Public Attributes | List of all members
schedule::schedule_grammar< It > Struct Template Reference
Inheritance diagram for schedule::schedule_grammar< It >:
Inheritance graph
[legend]
Collaboration diagram for schedule::schedule_grammar< It >:
Collaboration graph
[legend]

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 168 of file Schedule.cpp.

Constructor & Destructor Documentation

◆ schedule_grammar()

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

Definition at line 171 of file Schedule.cpp.

172 : schedule_grammar::base_type(schedule) {
173
174 schedule_item %=
175 ((schedule_word [set_step()])
176 | ((schedule_word_param [set_step()])
177 >> (qi::uint_) [set_value()]));
178
179 schedule_line %=
180 ((qi::uint_ [add_time()])
181 >> *(schedule_item [add_step()])
182 >> lit(';') [next_settings()]);
183
184 schedule %= *schedule_line;
185 }
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 188 of file Schedule.cpp.

◆ schedule_item

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

Definition at line 186 of file Schedule.cpp.

◆ schedule_line

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

Definition at line 187 of file Schedule.cpp.


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