Proving Reliability of Image Processing Techniques in Digital Forensics Applications

Listing 29

Definition of function createimage.

	Fixpoint createimage (matrix: list nat) (row: nat) (col: nat) (maxcol: nat): gsimage \coloneq
	match matrix with
	|nil ⇒ nil
	|cons gray m ⇒
	match row, col with
	|O, O ⇒ [Grow, col, gray]
	|S r, O ⇒  createimage m r maxcol maxcol) ++ [Grow, col, gray]
	|O, S c ⇒ (createimage m row c maxcol) ++ [Grow, col, gray]
	|S r, S c ⇒ (createimage m row c maxcol) ++ [Grow, col, gray]
	end
	end.