![]() |
Connect++ 0.3.0
A fast, readable connection prover for first-order logic.
|
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 |
Definition at line 168 of file Schedule.cpp.
|
inline |
Definition at line 171 of file Schedule.cpp.
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule |
Definition at line 188 of file Schedule.cpp.
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule_item |
Definition at line 186 of file Schedule.cpp.
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule_line |
Definition at line 187 of file Schedule.cpp.