@SuppressWarnings("unchecked")
	Vector getAtomBitSetVector(String atomExpression) {
		Vector V = new Vector();
		BitSet bs = getAtomBitSet(atomExpression);
		int atomCount = viewer.getAtomCount();
		for (int i = 0; i < atomCount; i++)
			if (bs.get(i))
				V.add(new Integer(i));
		return V;
	}