make this stateset an exact copy of the given 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 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 Iterator<State> stateIterator concode_elem_sep Map<ObligationSet,State> createEmptyMap
void function ( StateSet arg0 ) { this . isTop = arg0 . isTop ; this . isBottom = arg0 . isBottom ; this . onExceptionPath = arg0 . onExceptionPath ; this . stateMap . clear ( ) ; for ( State loc0 : arg0 . stateMap . values ( ) ) { State loc1 = loc0 . duplicate ( ) ; this . stateMap . put ( loc1 . getObligationSet ( ) , loc1 ) ; } }