returns the set of strings accepted by this model of the given length . 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 checkEmptyLanguage concode_elem_sep void appendDotTransition concode_elem_sep boolean run concode_elem_sep void union concode_elem_sep void exportDotAndPng 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
Set < String > function ( int arg0 ) { return SpecialOperations . getStrings ( this . model , arg0 ) ; }