shell_autoprops.h

 
 
#include "alloc.h"
#include "shell_languages.h"
#include "nfa_props.h"
 
bool shell_autoprop_trivial(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_ddtrivial(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
bool shell_autoprop_letterind(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_commut(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_alphaidem(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_ddidem(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_ddcomm(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_lttcomm(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_permut(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_permutplus(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_cfreegp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
bool shell_autoprop_polgp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
 
bool shell_autoprop_polgpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_pol2gp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_pol2gpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
 
 
bool shell_autoprop_rtrivialgp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_rtrivialgpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_rtrivialbpgp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_rtrivialbpgpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
bool shell_autoprop_ltrivialgp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_ltrivialgp_opti(int j, 
    basis mode, 
    int* error 
);
 
bool shell_autoprop_ltrivialgpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_ltrivialgpplus_opti(int j, 
    basis mode, 
    int* error 
);
 
bool shell_autoprop_ltrivialbpgp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_ltrivialbpgp_opti(int j, 
    basis mode, 
    int* error 
);
 
bool shell_autoprop_ltrivialbpgpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_dagp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_dagpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_dabpgp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_dabpgpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
bool shell_autoprop_bpolmod(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_bpolamt(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
bool shell_autoprop_bpolamtplus(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_bpolgrplus(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
bool shell_autoprop_knastgpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
bool shell_autoprop_piecewise(int j, 
    int* error 
);
 
bool shell_autoprop_knastat(int j, 
    char* name, 
    int* error, 
    FILE* out 
);
 
 
bool shell_autoprop_upolgpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_upolbp2gp(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_upolbp2gpplus(int j, 
    basis mode, 
    char* name, 
    int* error, 
    FILE* out 
);
 
bool shell_autoprop_nosimplecounter(int j, char* name, int* error, FILE* out);