is_empty

Description:

public bool is_empty ()

Checks whether the state set is empty, i.e. has no states set.

Parameters:

this

an StateType

Returns:

true if this has no states set, otherwise false