Exemplo n.º 1
0
void City::add_house(House newHouse) {
	REQUIRE(properlyInitialized(), "city must be properly initialized");
	get_house().push_back(newHouse);
	ENSURE(get_house().back().get_location() == newHouse.get_location(),
			"house must be added");
}