Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 17

Run-length of binary image.

	Definition runlength (img: image): list nat :=
	match img with
	|nil ⇒ nil
	|Br,c,black:tlʹ ⇒
	alternate (runlenblack img nil) (runlenwhite img nil)
	|Br,c,white:tlʹ ⇒
	alternate (runlenwhite img nil) (runlenblack img nil)
	end.