IDZEBRA 2.2.11
states.c File Reference
#include <stdio.h>
#include <assert.h>
#include <stdlib.h>
#include <string.h>
#include "dfap.h"
#include "imalloc.h"

Go to the source code of this file.

Macros

#define DFA_CHUNK   40
#define TRAN_CHUNK   100

Functions

int init_DFA_states (struct DFA_states **dfasp, DFASetType st, int hash)
int rm_DFA_states (struct DFA_states **dfasp)
int add_DFA_state (struct DFA_states *dfas, DFASet *s, struct DFA_state **sp)
void add_DFA_tran (struct DFA_states *dfas, struct DFA_state *s, int ch0, int ch1, int to)
struct DFA_state * get_DFA_state (struct DFA_states *dfas)
void sort_DFA_states (struct DFA_states *dfas)

Macro Definition Documentation

◆ DFA_CHUNK

#define DFA_CHUNK   40

Definition at line 33 of file states.c.

Referenced by add_DFA_state().

◆ TRAN_CHUNK

#define TRAN_CHUNK   100

Definition at line 34 of file states.c.

Referenced by add_DFA_tran(), and init_DFA_states().

Function Documentation

◆ add_DFA_state()

◆ add_DFA_tran()

void add_DFA_tran ( struct DFA_states * dfas,
struct DFA_state * s,
int ch0,
int ch1,
int to )

◆ get_DFA_state()

struct DFA_state * get_DFA_state ( struct DFA_states * dfas)

◆ init_DFA_states()

◆ rm_DFA_states()

◆ sort_DFA_states()

void sort_DFA_states ( struct DFA_states * dfas)