Connect++ 0.3.0
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.hpp>

Public Member Functions

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

Detailed Description

Semantic action for parser.

Definition at line 160 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 100 of file Schedule.cpp.

101 {
102 current_time = t;
103}

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