nfa_graph__collect_epsilon_transition Subroutine

private pure subroutine nfa_graph__collect_epsilon_transition(self, state_set)

Type Bound

nfa_graph_t

Arguments

Type IntentOptional Attributes Name
class(nfa_graph_t), intent(in) :: self
type(nfa_state_set_t), intent(inout) :: state_set

Source Code

   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