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 185 of file Schedule.hpp.

Member Function Documentation

operator()()

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

Definition at line 130 of file Schedule.cpp.

                                                            {
    schedule_step step2;
    if (step == "--all-definitional") step2 = schedule_step::all_definitional;
    if (step == "--no-definitional") step2 = schedule_step::no_definitional;
    if (step == "--reorder") step2 = schedule_step::reorder;
    // Remember: you *do* need the extra space!
    if (step == "--random-reorder ") step2 = schedule_step::rand_reorder;
    if (step == "--random-reorder-literals") step2 = schedule_step::rand_lits;
    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 == "--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 == "--no-lemmata") step2 = schedule_step::no_lemmata;
    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 == "--complete") step2 = schedule_step::complete;
    if (step == "--start-depth") step2 = schedule_step::start_depth;
    if (step == "--depth-increment") step2 = schedule_step::depth_inc;
    if (step == "--limit-by-tree-depth") step2 = schedule_step::limit_by_tree_depth;
    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:

• /Users/sbh11/Desktop/connection-prover/c++/connect++/source/Schedule.hpp
• /Users/sbh11/Desktop/connection-prover/c++/connect++/source/Schedule.cpp