/*
* Returns true if this {@code TreeSet} has no element, otherwise false.
*
* @return true if this {@code TreeSet} has no element.
* @see #size
*/
public override bool isEmpty()
{
return(backingMap.isEmpty());
}
