nfa_graph__is_exceeded Function

public pure function nfa_graph__is_exceeded(self) result(ret)

Type Bound

nfa_graph_t

Arguments

Type IntentOptional Attributes Name
class(nfa_graph_t), intent(in) :: self

Return Value logical


Source Code

   pure function nfa_graph__is_exceeded(self) result(ret)
      implicit none
      class(nfa_graph_t), intent(in) :: self
      logical :: ret

      ret = ubound(self%graph, dim=1) < self%top

   end function nfa_graph__is_exceeded