Connect++ 0.4.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
schedule::add_time Struct Reference

Semantic action for parser. More...

#include <Schedule.hpp>

Public Member Functions

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

Detailed Description

Semantic action for parser.

Definition at line 167 of file Schedule.hpp.

Member Function Documentation

◆ operator()()

void schedule::add_time::operator() ( unsigned int t,
qi::unused_type ,
qi::unused_type  ) const

Definition at line 118 of file Schedule.cpp.

119 {
120 current_time = t;
121}

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