private void getVariables() {
		for (int i = 0; i < exprBool.length(); i++) {
			char c = exprBool.charAt(i);

			if (c >= 'A' && c <= 'Z') {
				if (variables.indexOf(c) < 0)
					variables += c;
			}
		}
	}