nfa_state_node_t Derived Type

type, public :: nfa_state_node_t


Components

Type Visibility Attributes Name Initial
integer(kind=int32), public :: alloc_count_f = ALLOC_COUNT_INITTIAL
type(nfa_transition_t), public, allocatable :: forward(:)
integer(kind=int32), public :: forward_top = 1
integer(kind=int32), public :: own_i

Type-Bound Procedures

generic, public :: add_transition => nfa__add_transition, nfa__add_transition_cube

  • private pure subroutine nfa__add_transition(self, src, dst, seg)

    Arguments

    Type IntentOptional Attributes Name
    class(nfa_state_node_t), intent(inout) :: self
    integer(kind=int32), intent(in) :: src
    integer(kind=int32), intent(in) :: dst
    type(segment_t), intent(in) :: seg(:)

  • private pure subroutine nfa__add_transition_cube(self, src, dst, cube)

    Arguments

    Type IntentOptional Attributes Name
    class(nfa_state_node_t), intent(inout) :: self
    integer(kind=int32), intent(in) :: src
    integer(kind=int32), intent(in) :: dst
    type(cube_t), intent(in) :: cube

procedure, public :: merge_segment => nfa__merge_segments_of_transition

procedure, public :: nfa__add_transition

  • private pure subroutine nfa__add_transition(self, src, dst, seg)

    Arguments

    Type IntentOptional Attributes Name
    class(nfa_state_node_t), intent(inout) :: self
    integer(kind=int32), intent(in) :: src
    integer(kind=int32), intent(in) :: dst
    type(segment_t), intent(in) :: seg(:)

procedure, public :: nfa__add_transition_cube

  • private pure subroutine nfa__add_transition_cube(self, src, dst, cube)

    Arguments

    Type IntentOptional Attributes Name
    class(nfa_state_node_t), intent(inout) :: self
    integer(kind=int32), intent(in) :: src
    integer(kind=int32), intent(in) :: dst
    type(cube_t), intent(in) :: cube

procedure, public :: realloc_forward => nfa__reallocate_transition_forward

Source Code

   type, public :: nfa_state_node_t
      integer(int32) :: own_i
      type(nfa_transition_t), allocatable :: forward(:)
      integer(int32) :: forward_top = 1
      integer(int32) :: alloc_count_f = ALLOC_COUNT_INITTIAL
   contains
      procedure :: nfa__add_transition, nfa__add_transition_cube
      generic :: add_transition => nfa__add_transition, nfa__add_transition_cube
      procedure :: realloc_forward => nfa__reallocate_transition_forward
      procedure :: merge_segment => nfa__merge_segments_of_transition
   end type nfa_state_node_t