IDZEBRA  2.2.7
Data Fields
DFA_states Struct Reference

#include <dfap.h>

Data Fields

struct DFA_statefreelist
 
struct DFA_stateunmarked
 
struct DFA_statemarked
 
DFA_statebstatemem
 
int no
 
DFASetType st
 
int hash
 
struct DFA_state ** hasharray
 
struct DFA_state ** sortarray
 
struct DFA_transtransmem
 

Detailed Description

Definition at line 65 of file dfap.h.

Field Documentation

◆ freelist

struct DFA_state* DFA_states::freelist

Definition at line 66 of file dfap.h.

Referenced by add_DFA_state(), and init_DFA_states().

◆ hash

int DFA_states::hash

Definition at line 72 of file dfap.h.

Referenced by add_DFA_state(), and init_DFA_states().

◆ hasharray

struct DFA_state** DFA_states::hasharray

Definition at line 73 of file dfap.h.

Referenced by add_DFA_state(), init_DFA_states(), rm_DFA_states(), and sort_DFA_states().

◆ marked

struct DFA_state* DFA_states::marked

Definition at line 68 of file dfap.h.

Referenced by get_DFA_state(), init_DFA_states(), and sort_DFA_states().

◆ no

int DFA_states::no

Definition at line 70 of file dfap.h.

Referenced by add_DFA_state(), dfa_mkstate(), init_DFA_states(), pr_tran(), pr_verbose(), and sort_DFA_states().

◆ sortarray

struct DFA_state** DFA_states::sortarray

Definition at line 74 of file dfap.h.

Referenced by dfa_mkstate(), init_DFA_states(), pr_tran(), rm_DFA_states(), and sort_DFA_states().

◆ st

DFASetType DFA_states::st

Definition at line 71 of file dfap.h.

Referenced by add_DFA_state(), and init_DFA_states().

◆ statemem

DFA_stateb* DFA_states::statemem

Definition at line 69 of file dfap.h.

Referenced by add_DFA_state(), init_DFA_states(), and rm_DFA_states().

◆ transmem

struct DFA_trans* DFA_states::transmem

Definition at line 75 of file dfap.h.

Referenced by add_DFA_tran(), get_DFA_state(), init_DFA_states(), and rm_DFA_states().

◆ unmarked

struct DFA_state* DFA_states::unmarked

Definition at line 67 of file dfap.h.

Referenced by add_DFA_state(), get_DFA_state(), and init_DFA_states().


The documentation for this struct was generated from the following file: