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

Go to the source code of this file.

Functions

static DFASet mk_DFASetElement (DFASetType st, int n)
DFASetType mk_DFASetType (int chunk)
int inf_DFASetType (DFASetType st, long *used, long *allocated)
DFASetType rm_DFASetType (DFASetType st)
DFASet mk_DFASet (DFASetType st)
DFASet rm_DFASet (DFASetType st, DFASet s)
DFASet add_DFASet (DFASetType st, DFASet s, int n)
DFASet union_DFASet (DFASetType st, DFASet s1, DFASet s2)
DFASet cp_DFASet (DFASetType st, DFASet s)
DFASet merge_DFASet (DFASetType st, DFASet s1, DFASet s2)
void pr_DFASet (DFASetType st, DFASet s)
unsigned hash_DFASet (DFASetType st, DFASet s)
int eq_DFASet (DFASetType st, DFASet s1, DFASet s2)

Function Documentation

◆ add_DFASet()

DFASet add_DFASet ( DFASetType st,
DFASet s,
int n )

Definition at line 135 of file set.c.

References mk_DFASetElement(), DFASetElement_::next, and DFASetElement_::value.

Referenced by dfa_trav().

◆ cp_DFASet()

DFASet cp_DFASet ( DFASetType st,
DFASet s )

Definition at line 189 of file set.c.

References merge_DFASet().

Referenced by mk_dfa_tran().

◆ eq_DFASet()

int eq_DFASet ( DFASetType st,
DFASet s1,
DFASet s2 )

Definition at line 249 of file set.c.

References DFASetElement_::next, and DFASetElement_::value.

Referenced by add_DFA_state().

◆ hash_DFASet()

unsigned hash_DFASet ( DFASetType st,
DFASet s )

Definition at line 238 of file set.c.

References DFASetElement_::next, and DFASetElement_::value.

Referenced by add_DFA_state().

◆ inf_DFASetType()

int inf_DFASetType ( DFASetType st,
long * used,
long * allocated )

Definition at line 50 of file set.c.

References DFASetType::alloclist, DFASetType::chunk, DFASetElement_::next, and DFASetType::used.

Referenced by pr_verbose().

◆ merge_DFASet()

DFASet merge_DFASet ( DFASetType st,
DFASet s1,
DFASet s2 )

Definition at line 194 of file set.c.

References mk_DFASetElement(), DFASetElement_::next, and DFASetElement_::value.

Referenced by cp_DFASet(), and dfa_trav().

◆ mk_DFASet()

DFASet mk_DFASet ( DFASetType st)

Definition at line 73 of file set.c.

Referenced by dfa_trav(), init_followpos(), and mk_dfa_tran().

◆ mk_DFASetElement()

DFASet mk_DFASetElement ( DFASetType st,
int n )
static

◆ mk_DFASetType()

DFASetType mk_DFASetType ( int chunk)

Definition at line 35 of file set.c.

References DFASetType::alloclist, DFASetType::chunk, DFASetType::freelist, imalloc(), and DFASetType::used.

Referenced by mk_dfas().

◆ pr_DFASet()

void pr_DFASet ( DFASetType st,
DFASet s )

Definition at line 227 of file set.c.

References DFASetElement_::next, and DFASetElement_::value.

Referenced by dfa_trav(), pr_followpos(), and pr_tran().

◆ rm_DFASet()

DFASet rm_DFASet ( DFASetType st,
DFASet s )

Definition at line 115 of file set.c.

References DFASetType::freelist, DFASetElement_::next, and DFASetType::used.

Referenced by add_DFA_state(), and dfa_trav().

◆ rm_DFASetType()

DFASetType rm_DFASetType ( DFASetType st)

Definition at line 61 of file set.c.

References DFASetType::alloclist, ifree(), and DFASetElement_::next.

Referenced by mk_dfas().

◆ union_DFASet()

DFASet union_DFASet ( DFASetType st,
DFASet s1,
DFASet s2 )

Definition at line 152 of file set.c.

References mk_DFASetElement(), DFASetElement_::next, and DFASetElement_::value.

Referenced by add_follow(), dfa_trav(), and mk_dfa_tran().