shell_commands.h

/*****************************/
/* Gestionnaire de commandes */
/*****************************/
 
#ifndef SHELL_COMMANDS_H
#define SHELL_COMMANDS_H
 
#include "alloc.h"
#include "error.h"
 
 
#include "monoid_kernels.h"
#include "nfa_mccluskey.h"
#include "nfa_minimization.h"
#include "nfa_props.h"
#include "parse_regexp.h"
#include "printing.h"
#include "sep_group.h"
#include "shell_memb.h"
#include "shell_sclass.h"
#include "shell_separ.h"
#include "type_basic.h"
#include <fcntl.h>
#include <stdarg.h>
#include <stdlib.h>
#include <string.h>
#include <unistd.h>

extern sub_level optimization_level;

int com_get_object(int i, //<! Index of the original object in the table.
    string_chain* chain //<! The command chain.
);

void com_setrec_command(char* varname, 
    char* subname, 
    char* param, 
    com_command* com 
);

typedef enum {
    MODE_DEFAULT, 
    MODE_COPY,    
    MODE_PRINT,   
} com_mode;

int com_apply_command(com_command* com, 
    char* varname, 
    com_mode mode, 
    bool* new 
);
 
 
/******************************/
/*+ Parameter interpretation +*/
/******************************/
 

bool param_getclass(com_parameters* pars, 
    int p,                                
    const char* str,                      
    classes* class                    
);

bool param_getrawtext(com_parameters* pars, 
    int p,                                  
    const char* str,                        
    char** rawtext                          
);
 

bool param_getinteger(com_parameters* pars, 
    int p,                                  
    const char* str,                        
    int* integer                            
);

bool param_getlong(com_parameters* pars, 
    int p,                                  
    const char* str,                        
    long* integer                            
);
 
typedef enum {
    PAR_CLASS,    
    PAR_RAWTEXT,  
    PAR_INTEGER,  
    PAR_AUTOMATONV, 
    PAR_AUTOMATON, 
    PAR_REGEXP,   
    PAR_MORPHISM, 
    PAR_RECDEF,   
    PAR_AUTOMOR, 
    PAR_AUTOREG,  
    PAR_REGMOR,  
    PAR_REGAUTOMOR, 
    PAR_OBJECTV,  
    PAR_OBJECT,   
    PAR_NONE,     
} par_type; 
 

bool param_checkobjtype(int i, 
    par_type type,                
    int p,                 
    const char* str 
);

int param_retrieve(com_parameters* pars, 
    int n,                               
    int f,                               
    par_type* types,                     
    classes* classes,                    
    char** rawtext,                      
    int* integers,                       
    int* objs,                           
    bool* saved,                         
    const char* str                      
);

void usage_generic(par_type* types,      
    int n,                               
    par_type typeret,                    
    const char* str                      
);
 
 

int com_integer_par(com_parameters* pars, 
    int p, 
    const char* str, 
    int* res 
);
 
 
 
 
 
/********************************/
/*+ Computation of new objects +*/
/********************************/
 
 

int shell_mccluskey_reg(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_thompson_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_glushkov_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_mirror_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_union_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_intersect_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_directproduct_dfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_concat_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_kleene_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_elimeps_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_trim_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);
 

int shell_determinize_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);
 

int shell_complement_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);
 

int shell_hopcroft_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_brzozowski_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_invtrans(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_folding_dfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_dycktrans_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_random_nfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);

int shell_random_dfa(char* varname, 
    com_parameters* pars, 
    const char* str 
);
 
 
 
 
 
 
/*******************/
/*+ File handling +*/
/*******************/

int shell_open_object(char* varname,   
    com_parameters* pars, 
    const char* str 
);

int shell_save_to_file(com_parameters* pars,
    const char* str 
);

int shell_load_session(com_parameters* pars,
    const char* str 
);

int shell_save_session(com_parameters* pars,
    const char* str 
);
 
 
/*************/
/*+ Display +*/
/*************/
 
 
 

int shell_latex_gen(com_parameters* pars, 
    const char* str 
);

int shell_view_rcayley(com_parameters* pars, 
    const char* str 
);

int shell_view_lcayley(com_parameters* pars, 
    const char* str 
);

int shell_view_mormult(com_parameters* pars, 
    const char* str 
);

int shell_view_morder(com_parameters* pars, 
    const char* str 
);

int shell_view_idems(com_parameters* pars, 
    const char* str 
);

int shell_toggle_optimization(com_parameters* pars, 
    const char* str 
);

int shell_toggle_membership(com_parameters* pars, 
    const char* str 
);

int shell_view_mkernel(com_parameters* pars, 
    const char* str 
);

int shell_view_akernel(com_parameters* pars, 
    const char* str 
);

int shell_view_gkernel(com_parameters* pars, 
    const char* str 
);

int shell_view_orbits(com_parameters* pars, 
    const char* str 
);

int shell_view_nfa_run(com_parameters* pars, 
    const char* str 
);

int shell_view_mor_image(com_parameters* pars, 
    const char* str 
);
 
 
int shell_jep(void);
 
 
/*******************/
/*+ Property test +*/
/*******************/

int shell_counterfree(com_parameters* pars, 
    const char* str 
);

int shell_autoda(com_parameters* pars, 
    const char* str 
);

int shell_permutation(com_parameters* pars, 
    const char* str 
);
 

int shell_rtrivialrivial(com_parameters* pars, 
    const char* str 
);
 

int shell_commutative(com_parameters* pars, 
    const char* str 
);

int shell_letteruniform(com_parameters* pars, 
    const char* str 
);
 

int shell_membership(com_parameters* pars, 
    const char* str 
);
 

int shell_separation(com_parameters* pars, 
    const char* str 
);
 

int shell_print_chiera(com_parameters* pars, 
    const char* str 
);

int shell_print_navhiera(com_parameters* pars, 
    const char* str 
);
 

int shell_print_neghiera(com_parameters* pars, 
    const char* str 
);

int shell_print_fphiera(com_parameters* pars, 
    const char* str 
);
 
 
/*************************/
/*+ Examples generators +*/
/*************************/
 

int shell_initfile_exall(com_parameters* pars, 
    const char* str 
);

int shell_initfile_exfp(com_parameters* pars, 
    const char* str 
);

int shell_initfile_exdet(com_parameters* pars, 
    const char* str 
);
 

int shell_continuefile(com_parameters* pars, 
    const char* str 
);

int shell_retrievefile(com_parameters* pars, 
    const char* str 
);
 

int shell_browse_dfas(com_parameters* pars, 
    const char* str 
);

int shell_browse_dfas_neg(com_parameters* pars, 
    const char* str 
);

int shell_browse_dfas_fp(com_parameters* pars, 
    const char* str 
);
 

int shell_browse_dfas_bug(com_parameters* pars, 
    const char* str 
);
 

int shell_browse_dfas_time(com_parameters* pars, 
    const char* str 
);
 
#endif