topDefault top-level constant

int const topDefault

The default value of the top parameter of the generateIdioms function.

Implementation

const int topDefault = 1000;