private void setLastIndexToMaxFound()
	{
		int max = -1;
		for (MappedConst mc : constraints)
		{
			int[] ind = mc.getInds();
			int last = ind[ind.length - 1];
			if (last > max) max = last;
		}
		lastIndex = max;
	}
private void setLastIndexToMaxFound ( ) { int max = - 1 ; for ( MappedConst mc : constraints ) { int [ ] ind = mc . getInds ( ) ; int last = ind [ ind . length - 1 ] ; if ( last > max ) max = last ; } lastIndex = max ; }
This method is used after removal of an generative constraint. Searching the remaining
constraints, we decide the value of lastIndex.