shell_languages.h

#ifndef LANGUAGES_H_
#define LANGUAGES_H_
 
#include "monoid.h"
#include "monoid_kernels.h"
#include "monoid_orbits.h"
#include "nfa.h"
#include "nfa_determi.h"
#include "printing.h"
#include "monoid_display.h"
#include "regexp.h"
#include "regexp_tonfa.h"
#include <stdlib.h>
 
//  _____ _     _           _         _   _           _                       _
// |  _  | |   (_)         | |       | | | |         | |                     | |
// | | | | |__  _  ___  ___| |_ ___  | |_| |__   __ _| |_    ___ __ _ _ __   | |__   ___
// | | | | '_ \| |/ _ \/ __| __/ __| | __| '_ \ / _` | __|  / __/ _` | '_ \  | '_ \ / _ \
// \ \_/ / |_) | |  __/ (__| |_\__ \ | |_| | | | (_| | |_  | (_| (_| | | | | | |_) |  __/
//  \___/|_.__/| |\___|\___|\__|___/  \__|_| |_|\__,_|\__|  \___\__,_|_| |_| |_.__/ \___|
//            _/ |
//           |__/
//                        _             _       _           _    _
//                       (_)           | |     | |         | |  (_)
//  _ __ ___   __ _ _ __  _ _ __  _   _| | __ _| |_ ___  __| |   _ _ __
// | '_ ` _ \ / _` | '_ \| | '_ \| | | | |/ _` | __/ _ \/ _` |  | | '_ \
// | | | | | | (_| | | | | | |_) | |_| | | (_| | ||  __/ (_| |  | | | | |
// |_| |_| |_|\__,_|_| |_|_| .__/ \__,_|_|\__,_|\__\___|\__,_|  |_|_| |_|
//                         | |
//                         |_|
//  _   _                  _          _ _
// | | | |                | |        | | |
// | |_| |__   ___     ___| |__   ___| | |
// | __| '_ \ / _ \   / __| '_ \ / _ \ | |
// | |_| | | |  __/   \__ \ | | |  __/ | |
//  \__|_| |_|\___|   |___/_| |_|\___|_|_|
 

typedef struct {
    char* name; 
    uint count; 
    uchar digits; 
} ob_prefixname;
 

typedef enum {
    KER_MOD,    
    KER_AMT,   
    KER_GR,     
    KER_SIZE,
} kernel_type;
 
 

typedef enum {
    ORB_DD,    
    ORB_MODP,  
    ORB_AMTP,  
    ORB_GRP,   
    ORB_PT,    
    ORB_BPMOD, 
    ORB_BPAMT, 
    ORB_BPGR,  
    ORB_BPDD,  
    ORB_BPMODP,
    ORB_BPAMTP,
    ORB_BPGRP, 
    ORB_SIZE,
} orbits_type;
 
 
 

typedef struct {
    morphism* obj;     
    subsemi* kers[KER_SIZE]; 
    orbits* orbs[ORB_SIZE];  
} ob_morphism;
 
#define RECMAX 8

typedef struct {
    bool full;                
    uchar num;                
    ushort init;              
    char* names[RECMAX];      
    uchar evalseq[RECMAX];    
    regexp** regexps[RECMAX]; 
    regexp* def[RECMAX];      
} ob_recursion;

typedef enum {
    OD_MINI, 
    OD_SYNT, 
    OD_SIZE,
} ob_depend;

typedef enum {
    EMPTYOBJ,     
    REGEXP,    
    NAUTOMATON,       
    DAUTOMATON,       
    MORPHISM,  
    RECDEF,    
    DUMMY,     
} ob_type;
 
 
extern char* object_types_names[DUMMY];
 
#define NAME_MAXSIZE 128 

typedef struct {
    //char name[NAME_MAXSIZE];   //!< Variable name (NULL if the object is a dependency).
    ob_prefixname* prefix; //<! Prefix of the variable name (Index in the prefixnames array). Equal to -1 if the object is a dependency (noname). Full name is prefix + number.
    uint number; 
 
    ob_type type; 
    union {
        regexp* exp;       
        nfa* obj_nfa;     
        dfa* obj_dfa;     
        ob_morphism* mor;  
        ob_recursion* rec; 
    };
    int depend[OD_SIZE]; 
    int parent;          
} object;

extern object* objects;

extern int nb_objects;

void init_objects_array(void);

void grow_objects_array(void);
 
/************************/
/* Creation/Deletion */
/************************/

ob_prefixname* create_prefixname_full(const char* name 
);
 

ob_prefixname* create_prefixname(const char* name, 
    uint count 
);

void remove_instance_prefixname(ob_prefixname* prefixname 
);
 

int object_init(const char* name 
);
 

void object_swap(int, 
    int  
);

void object_free_aux(object* 
);

void object_free(int 
);

void object_free_all(void);

void object_delete_prefix(const char* 
);
 
/************************/
/* Get/insert an object */
/************************/

const char* object_get_full_name(int i 
);

int object_get_from_name(const char* 
);

int object_delete_from_name(const char* 
);

int object_add_regexp(const char*, 
    regexp* 
);

int object_add_automaton_nfa(const char*, 
    nfa* 
);

int object_add_automaton_dfa(const char* name, 
    dfa* A 
);
 
void object_add_automaton_dfa_family(const char* pname, dfa** array, uint count);

int object_add_morphism(char*, 
    morphism* 
);

int shell_copy_generic(int i, 
    char* newname 
);
 
 
 
 
/***********************************************/
/* Computing information on an existing object */
/***********************************************/

int shell_compute_minimal(int 
);

int shell_compute_syntac(int, 
    bool 
);

void shell_compute_mult(int 
);

void shell_compute_order(int 
);

subsemi* shell_compute_ker(int, 
    kernel_type, 
    sub_level 
);
 

orbits* shell_compute_orbits(int, 
    orbits_type, 
    sub_level 
);
 
 
/*************/
/* Recursion */
/*************/

uchar shell_rec_getnum(ob_recursion*, 
    char* 
);

bool shell_check_recursion(int 
);

int shell_rec_defadd(int, 
    uchar, 
    regexp* 
);

int shell_rec_iniadd(int, 
    uchar, 
    ushort, 
    regexp* 
);

regexp** shell_rec_compute(ob_recursion*, 
    ushort 
);

regexp* shell_rec_getexp(int, 
    char*, 
    ushort 
);

void shell_rec_display(ob_recursion*, 
    FILE* 
);
 
 
/***********/
/* Display */
/***********/
 

void shell_view_object(object* ob, 
    bool title 
);
 
 
 
#endif // LANGUAGES_H_