schedule::add_step 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 178 of file Schedule.hpp.

Member Function Documentation

operator()()

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

Definition at line 112 of file Schedule.cpp.

                                                            {
    schedule_step step2;
    if (step == "--reorder") step2 = schedule_step::reorder;
    if (step == "--all-start") step2 = schedule_step::all_start;
    if (step == "--pos-neg-start") step2 = schedule_step::pos_neg_start;
    if (step == "--conjecture-start") step2 = schedule_step::conjecture_start;
    if (step == "--restrict-start") step2 = schedule_step::restrict_start;
    if (step == "--no-regularity") step2 = schedule_step::no_regularity;
    if (step == "--no-lemmata") step2 = schedule_step::no_lemmata;
    if (step == "--all-lemmata") step2 = schedule_step::all_lemmata;
    if (step == "--all-reductions") step2 = schedule_step::all_reductions;
    if (step == "--all-extensions") step2 = schedule_step::all_extensions;
    if (step == "--all-backtrack") step2 = schedule_step::all_backtrack;
    if (step == "--lemmata-backtrack") step2 = schedule_step::lemmata_backtrack;
    if (step == "--reduction-backtrack") step2 = schedule_step::reduction_backtrack;
    if (step == "--extension-backtrack") step2 = schedule_step::extension_backtrack;
    if (step == "--explore-left-trees") step2 = schedule_step::explore_left_trees;
    if (step == "--hard-prune") step2 = schedule_step::hard_prune;
    if (step == "--complete") step2 = schedule_step::complete;
    current_settings.push_back(pair<schedule_step, unsigned int>(step2, value));
    step = "";
    value = 0;
}

---

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

• source/Schedule.hpp
• source/Schedule.cpp