void function ( Path arg0 , TransitionList arg1 ) { if ( isLooping ) return ; if ( arg0 . continuousTime ( ) ) return ; if ( ! arg1 . isDeterministic ( ) ) return ; if ( arg0 . getPreviousState ( ) . equals ( arg0 . getCurrentState ( ) ) ) { isLooping = true ; loopStart = arg0 . size ( ) - 1 ; loopEnd = arg0 . size ( ) ; } }
update loop detector after a step has just been added to the path . concode_field_sep long loopStart concode_elem_sep boolean isLooping concode_elem_sep long loopEnd concode_field_sep long loopStart concode_elem_sep boolean isLooping concode_elem_sep void removePrecedingStates concode_elem_sep void initialise concode_elem_sep long loopEnd concode_elem_sep void backtrack