87         package& package_delivery,  in deliver()  argument
94                 BOOST_CONTRACT_ASSERT(package_delivery.weight_kg < 5.0);  in deliver()
98                 BOOST_CONTRACT_ASSERT(double(package_delivery.delivered_hour -  in deliver()
99                         package_delivery.accepted_hour) <= 3.0);  in deliver()
101                 BOOST_CONTRACT_ASSERT(package_delivery.location == destination);  in deliver()
105         package_delivery.location = destination;  in deliver()
107         package_delivery.delivered_hour = package_delivery.accepted_hour + 2.5;  in deliver()
166         package& package_delivery,  in deliver()  argument
172         >(v, &different_courier::deliver, this, package_delivery, destination)  in deliver()
175                 BOOST_CONTRACT_ASSERT(package_delivery.weight_kg <= 8.0);  in deliver()
179                 BOOST_CONTRACT_ASSERT(double(package_delivery.delivered_hour -  in deliver()
180                         package_delivery.accepted_hour) <= 2.0);  in deliver()
185         package_delivery.location = destination;  in deliver()
187         package_delivery.delivered_hour = package_delivery.accepted_hour + 0.5;  in deliver()