@Override
	public int countCases() {
		int counter = 1;
		for (Constraint c : map.values()) {
			counter = Math.max(counter, c.countCases());
		}
		return counter;
	}
@ Override public int countCases ( ) { int counter = 1 ; for ( Constraint c : map . values ( ) ) { counter = Math . max ( counter , c . countCases ( ) ) ; } return counter ; }
Returns the maximum value that the method {@link #countCases()} takes for all sub-constraints
in the table.