throws an illegalstateexception if model is empty , attaches errorhint to the exception if errorhint ! = null concode_field_sep EventTypeEncodings encodings concode_elem_sep Logger logger concode_elem_sep Automaton model concode_elem_sep State first concode_elem_sep State second concode_field_sep void minimize concode_elem_sep State getInitialState concode_elem_sep EventTypeEncodings getEventEncodings concode_elem_sep EncodedAutomaton differenceWith concode_elem_sep boolean subsetOf concode_elem_sep void setInitialState concode_elem_sep void intersectWithRE concode_elem_sep void intersectWithRE concode_elem_sep void appendDotTransition concode_elem_sep boolean run concode_elem_sep void union concode_elem_sep void exportDotAndPng concode_elem_sep Set<String> getStrings concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep String toGraphviz concode_elem_sep void intersectWith concode_elem_sep void intersectWith
void function ( String arg0 ) { if ( model . isEmpty ( ) ) { throw new IllegalStateException ( "srini_string" + ( arg0 == null ? "srini_string" : "srini_string" + arg0 ) ) ; } }