Searched refs:tropical_generator (Results 1 – 2 of 2) sorted by relevance
83 TropicalWeightGenerator tropical_generator(seed, false); in main() local85 tropical_tester(tropical_generator, seed); in main()
77 TropicalWeightGenerator_<T> tropical_generator(seed); in TestTemplatedWeights() local79 tropical_tester(tropical_generator); in TestTemplatedWeights()