IDZEBRA  2.2.7
Macros | Functions
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_stateget_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.

◆ TRAN_CHUNK

#define TRAN_CHUNK   100

Definition at line 34 of file states.c.

Function Documentation

◆ add_DFA_state()

int add_DFA_state ( struct DFA_states dfas,
DFASet s,
struct DFA_state **  sp 
)

◆ 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()

int init_DFA_states ( struct DFA_states **  dfasp,
DFASetType  st,
int  hash 
)

◆ rm_DFA_states()

int rm_DFA_states ( struct DFA_states **  dfasp)

◆ sort_DFA_states()

void sort_DFA_states ( struct DFA_states dfas)