diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

mkdir and small stuff

Browse Source
This commit is contained in:
Vítor Santos Costa
2015-07-06 12:04:42 +01:00
parent 33de6766a5
commit 1d6f9981e1
26 changed files with 197 additions and 194 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
packages/bdd/cudd.c
View File

@@ -309,7 +309,7 @@ add_implies(DdManager *manager, DdNode *x1, DdNode *x2)
{
DdNode *tmp;
tmp = Cudd_addApply(manager,Cudd_addLeq,x1,x2);
tmp = Cudd_addConst(manager,Cudd_addLeq(manager,x1,x2));
Cudd_Ref(tmp);
return tmp;
}
@@ -878,7 +878,7 @@ p_cudd_print_with_names(void)
DdManager *manager = (DdManager *)YAP_IntOfTerm(YAP_ARG1);
DdNode *n0 = (DdNode *)YAP_IntOfTerm(YAP_ARG2);
const char *s = YAP_AtomName(YAP_AtomOfTerm(YAP_ARG3));
char **namesp;
const char **namesp;
YAP_Term names = YAP_ARG4;
FILE *f;
YAP_Int len;
@@ -918,7 +918,7 @@ p_cudd_print_with_names(void)
fclose(f);
while (i > 0) {
i--;
free(namesp[i]);
free((void *)namesp[i]);
}
free( namesp );
return TRUE;