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

Semantic action for parser. More...

#include <Schedule.hpp>

Public Member Functions

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

Detailed Description

Semantic action for parser.

Definition at line 194 of file Schedule.hpp.

Member Function Documentation

◆ operator()()

void schedule::next_settings::operator() ( qi::unused_type ,
qi::unused_type  ) const

Definition at line 160 of file Schedule.cpp.

160 {
161 new_schedule.push_back(current_settings);
162 new_times.push_back(current_time);
163 current_time = 0;
164 current_settings.clear();
165}

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