Searched refs:dbl_map (Results 1 – 9 of 9) sorted by relevance
63 dbl_map(double2string); in test_main() local77 properties.property("double",dbl_map); in test_main()