![]() |
Connect++ 0.6.1
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 197 of file Schedule.cpp.
|
inline |
Definition at line 200 of file Schedule.cpp.
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule |
Definition at line 217 of file Schedule.cpp.
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule_item |
Definition at line 215 of file Schedule.cpp.
qi::rule<Iter, ascii::space_type> schedule::schedule_grammar< It >::schedule_line |
Definition at line 216 of file Schedule.cpp.