src-gu/mir-reasoner/src/possibleworlds/PossibleWorldsBruteForce.java
//	created by the createSet() function.
created by the createSet() function.
created by the createSet () function .
private boolean increment(int[] counters, char[][] sets){
		for(int i = counters.length-1; i >= 0; i--){
			if(counters[i] < sets[i].length-1){
				counters[i]++;
				return true;
			}
			else{
				counters[i] = 0;
			}
		}
		return false;
	}
private boolean increment ( int [ ] counters , char [ ] [ ] sets ) { for ( int i = counters . length - 1 ; i >= 0 ; i -- ) { if ( counters [ i ] < sets [ i ] . length - 1 ) { counters [ i ] ++ ; return true ; } else { counters [ i ] = 0 ; } } return false ; }
created by the createSet() function.
created by the createSet () function .