TransitionLabel function ( TransitionLabel arg0 , TransitionLabel arg1 ) { if ( arg0 != arg1 ) { return arg0 . intersect ( arg1 ) ; } return arg0 ; }
porownanie dwoch transitiolabel ; aktualnie prymitywne , bo moze byc tylko chartransitionlabel . concode_field_sep List<StateSet> listOfSets concode_field_sep boolean addTrToSet concode_elem_sep StateSet existsSet concode_elem_sep void determinize