Vraagstelling
	Bepaal het minimum van de som van de getallen in een rij.
	TYPE m IS ARRAY (0..AantalRijen,0..n) OF Integer
	Matrix	:m
	Minimum	:Integer

Strategie
	2 deelproblemen.
	- Het bepalen van de som per rij middels telOp()
	- Het bepalen van het minimum der sommen.

####################################################
Formele probleemspecificatie
	pre: rij = RIJ ^ n>0 
	post:som = (Som:0<=i<n:Matrix[rij][i])

* Eindrelatie
	R:som = (Som:0<=i<n:Matrix[rij][i])

* Invariant
	som = (Som:0<=i<=k:Matrix[rij][i]) ^ -1<=k<n

* Stopcriterium
	k != n-1 
	

Initialisatie
	int k = -1;
	int som = 0;

Stap richting stopcriterium
	k++;

Actie herstel invariant
	som = (Som:0<=i<=k-1:Matrix[rij][i]) + (Som:i=k:Matrix[rij][i])

Algoritme
public int telOp(int rij, int n, m Matrix){
	int k = -1;
	int som = 0;
	while(k != n-1){
		k++;
		som = som + Matrix[rij][k];
	}
	return som;
}

###################################################

Formele probleemspecificatie
	pre: AantalRijen>=0 ^ n>=0
	post:minimum = (MINi:0<=i<AantalRijen:telOp(i))

* Eindrelatie
	R:minimum = (MINi:0<=i<AantalRijen:telOp(i))

* Invariant
	minimum = (MINi:0<=i<=k:telOp(i)) ^ -1<=k<AantalRijen

* Stopcriterium
	k != AantalRijen-1

Initialisatie
	int k = -1;
	int minimum = Integer.MAX_VALUE;

Stap richting stopcriterium
	k++;

Actie herstel invariant
	minimum = min((MINi:0<=i<=k-1:telOp(i)),(MINi:i=k:telOp(i)))

Algoritme

public int MinSom(int rij, int n, m Matrix){
	int k = -1;
	int minimum = Integer.MAX_VALUE;
	while(k != AantalRijen-1){
		k++;
		if(telOp(k)<minimum){
			minimum = telOp(k);
		}
	}
	return minimum;
}