Exemplos de options::get_unsigned em C++ (Cpp)

Exemplo n.º 1

Arquivo: opt_cmd.cpp Projeto: GallagherCommaJack/lean

static bool has_show(options const & opts, name const & kind, unsigned & line, unsigned & col) {
    if (opts.get_bool(kind)) {
        line = opts.get_unsigned("line", 0);
        col  = opts.get_unsigned("column", 0);
        return true;
    } else {
        return false;
    }
}

Exemplo n.º 2

Arquivo: find_cmd.cpp Projeto: cpehle/lean

unsigned get_find_max_steps(options const & opts) {
    return opts.get_unsigned(*g_find_max_steps, LEAN_DEFAULT_FIND_MAX_STEPS);
}

Exemplo n.º 3

Arquivo: pp_options.cpp Projeto: cmknapp/lean

unsigned get_pp_goal_max_hyps(options const & opts)   { return opts.get_unsigned(*g_pp_goal_max_hyps, LEAN_DEFAULT_PP_GOAL_MAX_HYPS); }

Exemplo n.º 4

Arquivo: pp_options.cpp Projeto: cmknapp/lean

unsigned get_pp_max_steps(options const & opts)       { return opts.get_unsigned(*g_pp_max_steps, LEAN_DEFAULT_PP_MAX_STEPS); }

Exemplo n.º 5

Arquivo: pp_options.cpp Projeto: cmknapp/lean

unsigned get_pp_max_depth(options const & opts)       { return opts.get_unsigned(*g_pp_max_depth, LEAN_DEFAULT_PP_MAX_DEPTH); }

Exemplo n.º 6

Arquivo: class_instance_synth.cpp Projeto: bmalehorn/lean

unsigned get_class_instance_max_depth(options const & o) {
    return o.get_unsigned(*g_class_instance_max_depth, LEAN_DEFAULT_CLASS_INSTANCE_MAX_DEPTH);
}

Exemplo n.º 7

Arquivo: options.cpp Projeto: pazthor/lean

unsigned get_blast_inc_depth(options const & o) {
    return o.get_unsigned(*g_blast_inc_depth, LEAN_DEFAULT_BLAST_INC_DEPTH);
}

Exemplo n.º 8

Arquivo: options.cpp Projeto: pazthor/lean

unsigned get_blast_max_depth(options const & o) {
    return o.get_unsigned(*g_blast_max_depth, LEAN_DEFAULT_BLAST_MAX_DEPTH);
}

Exemplo n.º 9

Arquivo: options.cpp Projeto: cpehle/lean

unsigned get_max_memory(options const & opts) {
    return opts.get_unsigned(*g_max_memory, LEAN_DEFAULT_MAX_MEMORY);
}