dfa_state_node__is_registered_transition_cube Function

   pure function dfa_state_node__is_registered_transition_cube(self, dst, cube) result(res)
      use :: forgex_cube_m, only: cube_t, operator(==)
      implicit none
      class(dfa_state_node_t), intent(in) :: self
      integer, intent(in) :: dst
      type(cube_t), intent(in) :: cube

      logical :: res

      integer :: j

      res = .false.
      do j = 1, self%get_tra_top()
         if (self%transition(j)%dst == dst) then

            if (self%transition(j)%c == cube ) then
               res = .true.
               return
            end if
         end if
      end do
      
   end function dfa_state_node__is_registered_transition_cube