[c++] swap di puntatori

[pprllo]

Anche questo funziona, ma scambia i puntatori e non i valori, che mi sembra sia quello che ti serve:

void swap(lemma**a, lemma**b)
{
	lemma *temp;
	temp = *a;
	*a = *b;
	*b = temp;
}

swap(&a, &b);