Type | Intent | Optional | Attributes | Name | ||
---|---|---|---|---|---|---|
class(nfa_graph_t), | intent(in) | :: | self | |||
type(nfa_state_set_t), | intent(inout) | :: | state_set |
pure subroutine nfa_graph__collect_epsilon_transition(self, state_set) use :: forgex_segment_m use :: forgex_nfa_state_set_m implicit none class(nfa_graph_t), intent(in) :: self type(nfa_state_set_t), intent(inout) :: state_set integer :: i do i = NFA_STATE_BASE, self%nfa_top if (check_nfa_state(state_set, i)) then call self%mark_epsilon_transition(state_set, i) end if end do end subroutine nfa_graph__collect_epsilon_transition