creates a state in dfa , labelled with the set of states in states , which are all states from nfa . concode_field_sep PlaceHolder placeHolder concode_field_sep State createInitialState concode_elem_sep ArrayList expandState concode_elem_sep State getStateForStates concode_elem_sep State[] getStatesForState concode_elem_sep boolean containsState concode_elem_sep boolean containSameStates concode_elem_sep FiniteStateAutomaton convertToDFA concode_elem_sep State[] getStatesOnTerminal concode_elem_sep boolean hasFinalState concode_elem_sep String getStringForStates
State function ( Automaton arg0 , State [ ] arg1 , Automaton arg2 ) { StatePlacer loc0 = new StatePlacer ( ) ; State loc1 = arg0 . createState ( loc0 . getPointForState ( arg0 ) ) ; loc1 . setLabel ( getStringForStates ( arg1 ) ) ; if ( hasFinalState ( arg1 , arg2 ) ) { arg0 . addFinalState ( loc1 ) ; } return loc1 ; }