get_length


Description:

public int get_length ()

Returns the positive length (>= 0) of this.

Note that this method is O(h) where `h' is the height of the tree. It is thus more efficient to use is_empty when comparing the length to zero.

Parameters:

this

a Sequence

Returns:

the length of this