dfa_transition_t Derived Type

type, public :: dfa_transition_t


Components

Type Visibility Attributes Name Initial
type(segment_t), public :: c
integer(kind=int32), public :: dst = DFA_NOT_INIT
type(nfa_state_set_t), public :: nfa_set
integer(kind=int32), public :: own_j = DFA_NOT_INIT

Source Code

   type, public :: dfa_transition_t
      type(segment_t)       :: c
      type(nfa_state_set_t) :: nfa_set
      integer(int32)        :: own_j = DFA_NOT_INIT ! Own index in the list of transitions
      integer(int32)        :: dst   = DFA_NOT_INIT ! The destination node index of DFA graph.
   end type dfa_transition_t