Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 13

Calculating object area.

	Fixpoint areasize (img: image): nat:=
	match img with
	|nil ⇒ 0
	|Br,c,col:tl ⇒ match col with
	|black ⇒ S (areasize tl)
	|white ⇒ areasize tl
	end
end.