bkz_param.h File Reference

#include "defs.h"
#include "pruner/pruner.h"
#include <string>
#include <vector>

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	Strategy
class	BKZParam

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

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