regexp.h

Go to the documentation of this file.

#ifndef REGEXP_H_
#define REGEXP_H_
 
 /*  ____                  _                                                _                  */
 /* |  _ \ ___  __ _ _   _| | __ _ _ __    _____  ___ __  _ __ ___  ___ ___(_) ___  _ __  ___  */
 /* | |_) / _ \/ _` | | | | |/ _` | '__|  / _ \ \/ / '_ \| '__/ _ \/ __/ __| |/ _ \| '_ \/ __| */
 /* |  _ <  __/ (_| | |_| | | (_| | |    |  __/>  <| |_) | | |  __/\__ \__ \ | (_) | | | \__ \ */
 /* |_| \_\___|\__, |\__,_|_|\__,_|_|     \___/_/\_\ .__/|_|  \___||___/___/_|\___/|_| |_|___/ */
 /*            |___/                               |_|                                         */
 
#include "alloc.h"
#include "error.h"
#include "nfa.h"
#include "tools.h"
#include "type_basic.h"
#include "type_dequeue.h"
#include <assert.h>
#include <ctype.h>
#include <stdbool.h>
#include <stdio.h>
#include <string.h>
 
 

extern short symbolic_count;

extern char** symbolic_names;
 
 

short symbolic_index(char* 
);
 
 

typedef struct syletter {
    uchar lab; 
    uchar dec; 
} syletter;

typedef struct syvariable {
    uchar ind; 
    uchar dec; 
} syvariable;

uint display_syletter_utf8(syletter 
    , FILE*                         
);

uint display_syvar_utf8(syvariable v, FILE* out);

typedef enum {
    EMPTY,      
    EPSILON,    
    CHAR,       
    SYCHAR,     
    SYVAR,      
    WORD,       
    UNION,      
    INTER,      
    COMPLEMENT, 
    CONCAT,     
    STAR,       
    PLUS,       
    NONE        
} regelem;

typedef struct regexp {
    regelem op;           
    struct regexp* left;  
    struct regexp* right; 
    union {
        letter letter;    
        word* word;       
        syletter sylet;   
        syvariable syvar; 
    };
} regexp;

bool reg_has_symbolic(regexp* 
);

bool reg_issimple(regexp* 
);

void reg_free(regexp* 
);

regexp* reg_copy(regexp* 
);

regexp* reg_empty(void);

regexp* reg_epsilon(void);

regexp* reg_letter(uchar 
);

regexp* reg_letter_ext(letter 
);

 
regexp* reg_letter_numbered(uchar c,    
    uchar index 
);

regexp* reg_letter_symbolic(uchar c,     
    uchar number 
);
 
regexp* reg_var_symbolic(char* s, uchar number);

regexp* reg_union(regexp*, 
    regexp*  
);

regexp* reg_inter(regexp*, 
    regexp*  
);

regexp* reg_concat(regexp*, 
    regexp*  
);

regexp* reg_star(regexp* 
);

regexp* reg_plus(regexp* 
);

regexp* reg_complement(regexp* 
);

void reg_print(regexp* 
);
 

bool reg_symbolic_loops(regexp* 
    , ushort                    
    , uchar                     
    , bool*                     
);
 
 
 
 
#endif