Searched refs:different_insurance_usd (Results 1 – 1 of 1) sorted by relevance
129 different_insurance_usd >= courier::min_insurance_usd); in static_invariant()134 BOOST_CONTRACT_ASSERT(insurance_cover_usd() >= different_insurance_usd); in invariant()140 static double different_insurance_usd; member in different_courier146 double insurance_cover_usd = different_insurance_usd) : in different_courier()191 double different_courier::different_insurance_usd = 20.0e+6; member in different_courier