Searched defs:default_double (Results 1 – 8 of 8) sorted by relevance
13 double default_double = 8; field
92 optional double default_double = 72 [default = 52e3 ]; field
137 optional double default_double = 72 [default = 52e3 ]; field
165 optional double default_double = 72 [default = 52e3 ]; field
144 optional double default_double = 72 [default = 52e3 ]; field
161 optional double default_double = 72 [default = 52e3 ]; field
332 optional double default_double = 201 [default = 3.1415]; field
2603 inline double FieldDef::default_double() const { in default_double() function