dfa_init

dfa_init :: (
    d: *Dfa,
    program: *Program,
    reverse: bool,
    state_limit := DEFAULT_STATE_LIMIT
)

Parameters

d: *Dfa

program: *Program

reverse: bool

state_limit := DEFAULT_STATE_LIMIT