public boolean addToBucket ( State < S , EP > state ) { boolean first = false ; if ( bucket . isEmpty ( ) ) { first = true ; } bucket . pushBack ( state ) ; return first ; }
Adds a state to this label s bucket .