bkz_param.cpp File Reference

#include "bkz_param.h"
#include "io/json.hpp"
#include "nr/nr.h"
#include <cstdio>

Typedefs
using	json = nlohmann::json

Functions
const std::string &	default_strategy_path ()
const std::string	strategy_full_path (const std::string &strategy_path)
const std::string &	default_strategy ()
vector< Strategy >	load_strategies_json (const std::string &filename)

Typedef Documentation

json

using json = nlohmann::json

Function Documentation

default_strategy()

const std::string & default_strategy

(

)

Return default strategy (if any)

default_strategy_path()

const std::string & default_strategy_path

(

)

Return default directory to search for strategies (if any)

load_strategies_json()

vector< Strategy > load_strategies_json

(

const std::string &

filename

)

Load BKZ pruning and preprocessing strategies from a json file.

Note

All parameters except pruning and preprocessing are silently ignored.

strategy_full_path()

const std::string strategy_full_path

(

const string &

strategy_path

)

Attempt to expand strategy path to full path