mtt/ntt/bin/trans/mttCompareDomainCompletion.m

function is_stable = mttCompareDomainCompletion(current,previous)
	is_stable = current.assignments==previous.assignments ;