Swelling of the brain following ischemic infarction with arterial occlusion.