42 fprintf(stdout,
"%s specific constraints:\n", msg);
51 int main(
int argc,
const char **argv)
54 fprintf(stderr,
"Usage: %s sc1 sc2\n", argv[0]);
58 const char *n1 = argv[1], *n2 = argv[2];
62 if ((f1 = fopen(n1,
"r")) == NULL) {
63 fprintf(stderr,
"cannot open file: %s\n", n1);
68 if ((
f2 = fopen(n2,
"r")) == NULL) {
69 fprintf(stderr,
"cannot open file: %s\n", n2);
75 fprintf(stderr,
"file syntax is ok: %s\n", n1);
80 fprintf(stderr,
"syntax error in file: %s\n", n1);
86 fprintf(stderr,
"file syntax is ok: %s\n", n2);
91 fprintf(stderr,
"syntax error in file: %s\n", n2);
97 fprintf(stdout,
"%s & %s are equivalent\n", n1, n2);
101 fprintf(stdout,
"%s & %s are NOT equivalent\n", n1, n2);
104 fprintf(stdout,
"%s is strictly included in %s\n", n1, n2);
109 fprintf(stdout,
"%s is strictly included in %s\n", n2, n1);
114 fprintf(stdout,
"no inclusion\n");
void contrainte_fprint(FILE *, Pcontrainte, bool, char *(*)(Variable))
io.c
char * variable_default_name(Variable v)
char * variable_default_name(Variable v): returns the name of variable v
int f2(int off1, int off2, int w, int n, float r[n], float a[n], float b[n])
bool sc_weak_consistent_p(Psysteme sc)
check that sc is well defined, that the numbers of equalities and inequalities are consistent with th...
Psysteme sc_new(void)
Psysteme sc_new(): alloue un systeme vide, initialise tous les champs avec des valeurs nulles,...
bool ineq_redund_with_sc_p(Psysteme sc, Pcontrainte ineq)
This function returns true if the inequation ineq is redundant for the system ps and false otherwise.
bool eq_redund_with_sc_p(Psysteme sc, Pcontrainte eq)
bool eq_redund_with_sc_p(sc, eq) Psysteme sc; Pcontrainte eq;
static void show_nredund(const char *msg, Psysteme s, Psysteme r)
Test whether two systems are equivalent.
int main(int argc, const char **argv)
void sc_fprint(FILE *fp, Psysteme ps, get_variable_name_t nom_var)
void sc_fprint(FILE * f, Psysteme ps, char * (*nom_var)()): cette fonction imprime dans le fichier po...
bool sc_fscan(FILE *f, Psysteme *ps)
bool sc_fscan(FILE * f, Psysteme * ps): construit un systeme d'inegalites et d'egalites lineaires a p...
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
struct Scontrainte * succ
#define sc_inclusion_p_ofl(ps1, ps2)
#define sc_equal_p_ofl(ps1, ps2)