IDZEBRA  2.1.2
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

#define DFA_CHUNK   40

Definition at line 33 of file states.c.

Referenced by add_DFA_state().

#define TRAN_CHUNK   100

Definition at line 34 of file states.c.

Referenced by add_DFA_tran(), and init_DFA_states().

Function Documentation

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)
int init_DFA_states ( struct DFA_states **  dfasp,
DFASetType  st,
int  hash 
)
int rm_DFA_states ( struct DFA_states **  dfasp)
void sort_DFA_states ( struct DFA_states dfas)