private boolean IsAtCell(int j, int k, String nodes) {
		String s = binaryCode(kmap.getCellAdress(j, k), nombreVars);
		char[] a = nodes.toCharArray();
		char[] b = s.toCharArray();
		for (int i = 0; i < a.length; i++) {
			if ((a[i] != b[i]) && (a[i] != '2'))
				return false;
		}
		return true;
	}