![]() |
Connect++ 0.4.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 201 of file Schedule.cpp.
|
inline |
Definition at line 204 of file Schedule.cpp.
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule |
Definition at line 221 of file Schedule.cpp.
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule_item |
Definition at line 219 of file Schedule.cpp.
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule_line |
Definition at line 220 of file Schedule.cpp.