get the state which has the given obligationset . returns null if there is no such state . 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 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 Iterator<State> stateIterator concode_elem_sep Map<ObligationSet,State> createEmptyMap
State function ( ObligationSet arg0 ) { return stateMap . get ( arg0 ) ; }