#include "enumerate_ext.h"
#include <fplll/defs.h>

Functions
void	set_external_enumerator (std::function< extenum_fc_enumerate > extenum)

std::function< extenum_fc_enumerate >	get_external_enumerator ()

Variables
FPLLL_BEGIN_NAMESPACE std::function< extenum_fc_enumerate >	fplll_extenum = nullptr

Function Documentation

◆ get_external_enumerator()

std::function< extenum_fc_enumerate > get_external_enumerator ( )

void set_external_enumerator ( std::function< extenum_fc_enumerate > extenum )

FPLLL_BEGIN_NAMESPACE std::function<extenum_fc_enumerate> fplll_extenum = nullptr