Searched defs:default_double (Results 1 – 7 of 7) 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
2603 inline double FieldDef::default_double() const { in default_double() function