check_nfa_state Function

public pure function check_nfa_state(state_set, state_index)

This function checks if the arguement 'state' (set of NFA state) includes state 's'.

Arguments

Type IntentOptional Attributes Name
type(nfa_state_set_t), intent(in) :: state_set
integer(kind=int32), intent(in) :: state_index

Return Value logical


Source Code

   pure logical function check_nfa_state(state_set, state_index)
      implicit none
      type(nfa_state_set_t), intent(in) :: state_set
      integer(int32),        intent(in) :: state_index

      if (state_index /= 0) then
         check_nfa_state = state_set%vec(state_index)

      else
         check_nfa_state = .false.
      end if
   end function check_nfa_state