@Override
	public boolean equals(Object obj) {
		Interval other = (Interval) obj;
		if (this.m_isBottom && other.isBottom()) { return true; }
		if ((this.m_isBottom && !other.isBottom())
				|| (!this.m_isBottom && other.isBottom())) { return false; }
		return (this.m_lowerBound == other.getLowerBound() && this.m_upperBound == other
				.getUpperBound());
	}