Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 24

Calculating distance using the city-block method.

	Definition citydist (p1 p2: pixel): nat \coloneq
	match p1, p2 with
	| Br1,c1,_, Br2,c2,_ =>  r1–r2 + c1–c2
	end.