Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 12

Definition of range thresholding.

	Fixpoint thresholdrange (img: gsimage) (T1T2: nat): image :=
	match img with
	|nil ⇒ nil
	|Gr,c,gsv:tl ⇒
	if andb (T1 < = ? gsv) (gsv < = ? T2)
	then Br,c,black::(thresholdrange tl T1 T2).
	else Br,c,white::(thresholdrange tl T2 T2)
	end.