nfa_enum.h

Go to the documentation of this file.

#ifndef NFA_ENUM_H
#define NFA_ENUM_H
 
#include "nfa.h"
 
 
typedef struct
{
    short states;   
    short alpha;    
    short** graph;  
    short* used;    
    short* outlabs; 
    short** parti;  
    short* parsize; 
    short inisep;   
    short final;    
    bool run;      
} dfa_enum;
 
 

dfa_enum* dfa_enum_init(short, 
    short                   
);

void dfa_enum_free(dfa_enum* 
);

bool dfa_enum_next(dfa_enum* 
);
 
 
 
 
 
short iterate_integer_partition(short*, 
    short                             
);
 
dfa* dfa_enum_to_dfa(dfa_enum* 
);
 
 
void dfa_enum_print(dfa_enum* E);
 
 
 
#endif // NFA_ENUM_H