is_exceeded Function

private pure function is_exceeded(nfa_top, nfa_graph) result(res)

Arguments

Type IntentOptional Attributes Name
integer(kind=int32), intent(in) :: nfa_top
type(nfa_state_node_t), intent(in) :: nfa_graph(:)

Return Value logical


Source Code

   pure function is_exceeded (nfa_top, nfa_graph) result(res)
      implicit none
      integer(int32), intent(in) :: nfa_top
      type(nfa_state_node_t), intent(in) :: nfa_graph(:)
      logical :: res

      res = ubound(nfa_graph, dim=1) < nfa_top

   end function is_exceeded