Iterator < State > function ( ) { return stateMap . values ( ) . iterator ( ) ; }
return an iterator over the states in the stateset . concode_field_sep boolean onExceptionPath concode_elem_sep ObligationFactory factory concode_elem_sep boolean isTop concode_elem_sep Map<ObligationSet,State> stateMap concode_elem_sep boolean isBottom concode_field_sep void addObligation concode_elem_sep boolean isValid concode_elem_sep boolean isEmpty concode_elem_sep void clear concode_elem_sep void deleteObligation concode_elem_sep void replaceMap concode_elem_sep StateSet duplicate concode_elem_sep State getStateWithObligationSet concode_elem_sep void copyFrom concode_elem_sep boolean isBottom concode_elem_sep Set<ObligationSet> getAllObligationSets concode_elem_sep boolean isOnExceptionPath concode_elem_sep List<State> getPrefixStates concode_elem_sep void setTop concode_elem_sep void setBottom concode_elem_sep boolean isTop concode_elem_sep int hashCode concode_elem_sep void checkCircularity concode_elem_sep boolean equals concode_elem_sep String toString concode_elem_sep void setOnExceptionPath concode_elem_sep Map<ObligationSet,State> createEmptyMap