Searched refs:min_insurance_usd (Results 1 – 1 of 1) sorted by relevance
43 BOOST_CONTRACT_ASSERT(min_insurance_usd >= 0.0); in static_invariant()48 BOOST_CONTRACT_ASSERT(insurance_cover_usd() >= min_insurance_usd); in invariant()52 static double min_insurance_usd; member in courier57 explicit courier(double _insurance_cover_usd = min_insurance_usd) : in courier()114 double courier::min_insurance_usd = 10.0e+6; member in courier129 different_insurance_usd >= courier::min_insurance_usd); in static_invariant()