Connect++ 0.1
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
Public Member Functions | List of all members
schedule::add_time Struct Reference

Semantic action for parser. More...

#include <Schedule-16-10-23.hpp>

Public Member Functions

void operator() (unsigned int, qi::unused_type, qi::unused_type) const
 
void operator() (unsigned int, qi::unused_type, qi::unused_type) const
 

Detailed Description

Semantic action for parser.


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