| /dports/science/buddy/buddy-2.4/src/ |
| H A D | kernel.c | 211 bddvarnum = 0; in bdd_init()
273 bddvarnum = 0; in bdd_done()
307 if (num < bddvarnum) in bdd_setvarnum()
309 if (num == bddvarnum) in bdd_setvarnum()
349 for(bdv=bddvarnum ; bddvarnum < num; bddvarnum++) in bdd_setvarnum()
351 bddvarset[bddvarnum*2] = PUSHREF( bdd_makenode(bddvarnum, 0, 1) ); in bdd_setvarnum()
352 bddvarset[bddvarnum*2+1] = bdd_makenode(bddvarnum, 1, 0); in bdd_setvarnum()
357 bddvarnum = bdv; in bdd_setvarnum()
363 bddlevel2var[bddvarnum] = bddvarnum; in bdd_setvarnum()
364 bddvar2level[bddvarnum] = bddvarnum; in bdd_setvarnum()
[all …]
|
| H A D | pairs.c | 65 for (n=0 ; n<bddvarnum ; n++) in bdd_pairs_done()
157 if ((p->result=(BDD*)malloc(sizeof(BDD)*bddvarnum)) == NULL) in bdd_newpair()
164 for (n=0 ; n<bddvarnum ; n++) in bdd_newpair()
201 if (oldvar < 0 || oldvar > bddvarnum-1) in bdd_setpair()
203 if (newvar < 0 || newvar > bddvarnum-1) in bdd_setpair()
225 if (oldvar < 0 || oldvar >= bddvarnum) in bdd_setbddpair()
308 for (n=0 ; n<bddvarnum ; n++) in bdd_freepair()
328 for (n=0 ; n<bddvarnum ; n++) in bdd_resetpair()
|
| H A D | reorder.c | 834 for (n=0 ; n<bddvarnum ; n++) in addref_rec()
846 for (n=0 ; n<bddvarnum ; n++) in addDependencies()
896 memset(dep,0,bddvarnum); in mark_roots()
960 for (n=0 ; n<bddvarnum ; n++) in reorder_setLevellookup()
1417 for (v=0 ; v<bddvarnum ; v++)
1535 if (v1 < 0 || v1 >= bddvarnum || v2 < 0 || v2 >= bddvarnum) in bdd_swapvar()
1650 for (n=0 ; n<bddvarnum ; n++) in reorder_init()
1691 for (n=0 ; n<bddvarnum ; n++) in reorder_done()
1697 for (n=0 ; n<bddvarnum ; n++) in reorder_done()
2172 if (first < 0 || first >= bddvarnum || last < 0 || last >= bddvarnum) in bdd_intaddvarblock()
[all …]
|
| H A D | bddio.c | 242 if ((set=(int *)malloc(sizeof(int)*bddvarnum)) == NULL) in bdd_fprintset()
248 memset(set, 0, sizeof(int) * bddvarnum); in bdd_fprintset()
267 for (n=0 ; n<bddvarnum ; n++) in bdd_printset_rec()
407 fprintf(ofile, "%d %d\n", n, bddvarnum); in bdd_save()
409 for (n=0 ; n<bddvarnum ; n++) in bdd_save()
508 if (vnum > bddvarnum) in bdd_load()
|
| H A D | cppext.cxx | 220 int *set = new int[bddvarnum]; in operator <<()
227 memset(set, 0, sizeof(int) * bddvarnum); in operator <<()
282 int *set = new int[bddvarnum]; in operator <<()
289 memset(set, 0, sizeof(int) * bddvarnum); in operator <<()
368 for (n=0 ; n<bddvarnum ; n++) in bdd_printset_rec()
|
| H A D | bddop.c | 236 if ((quantvarset=NEW(int,bddvarnum)) == NULL) in bdd_operator_varresize()
239 memset(quantvarset, 0, sizeof(int)*bddvarnum); in bdd_operator_varresize()
1242 if (var < 0 || var >= bddvarnum) in bdd_compose()
2069 if (supportSize < bddvarnum) in bdd_support()
2076 memset(supportSet, 0, bddvarnum*sizeof(int)); in bdd_support()
2077 supportSize = bddvarnum; in bdd_support()
2090 memset(supportSet, 0, bddvarnum*sizeof(int)); in bdd_support()
2409 allsatHandler(allsatProfile, bddvarnum); in allsat_rec()
2479 double unused = bddvarnum; in bdd_satcountset()
2563 double unused = bddvarnum; in bdd_satcountlnset()
[all …]
|
| H A D | fdd.c | 160 if (firstbddvar + extravars > bddvarnum) in fdd_extdomain()
473 store = NEW(char,bddvarnum); in fdd_scanallvar()
474 for (n=0 ; n<bddvarnum ; n++) in fdd_scanallvar()
720 set = (int *)malloc(sizeof(int)*bddvarnum); in fdd_fprintset()
727 memset(set, 0, sizeof(int) * bddvarnum); in fdd_fprintset()
|
| H A D | kernel.h | 102 extern int bddvarnum; /* Number of defined BDD variables */
|
| /dports/math/spot/spot-2.10.2/buddy/src/ |
| H A D | kernel.c | 228 bddvarnum = 0; in bdd_init()
293 bddvarnum = 0; in bdd_done()
327 if (num < bddvarnum) in bdd_setvarnum()
330 if (num == bddvarnum) in bdd_setvarnum()
386 for(bdv=bddvarnum ; bddvarnum < num; bddvarnum++) in bdd_setvarnum()
388 bddvarset[bddvarnum*2] = PUSHREF( bdd_makenode(bddvarnum, 0, 1) ); in bdd_setvarnum()
389 bddvarset[bddvarnum*2+1] = bdd_makenode(bddvarnum, 1, 0); in bdd_setvarnum()
394 bddvarnum = bdv; in bdd_setvarnum()
400 bddlevel2var[bddvarnum] = bddvarnum; in bdd_setvarnum()
401 bddvar2level[bddvarnum] = bddvarnum; in bdd_setvarnum()
[all …]
|
| H A D | pairs.c | 65 for (n=0 ; n<bddvarnum ; n++) in bdd_pairs_done()
125 if ((p->result=(BDD*)malloc(sizeof(BDD)*bddvarnum)) == NULL) in bdd_pairalloc()
174 for (n=0 ; n<bddvarnum ; n++) in bdd_newpair()
205 for (n=0 ; n<bddvarnum ; n++) in bdd_copypair()
239 for (n=0; n<bddvarnum; n++) in bdd_mergepairs()
295 if (oldvar < 0 || oldvar > bddvarnum-1) in bdd_setpair()
297 if (newvar < 0 || newvar > bddvarnum-1) in bdd_setpair()
319 if (oldvar < 0 || oldvar >= bddvarnum) in bdd_setbddpair()
402 for (n=0 ; n<bddvarnum ; n++) in bdd_freepair()
422 for (n=0 ; n<bddvarnum ; n++) in bdd_resetpair()
|
| H A D | reorder.c | 834 for (n=0 ; n<bddvarnum ; n++) in addref_rec()
846 for (n=0 ; n<bddvarnum ; n++) in addDependencies()
899 memset(dep,0,bddvarnum); in mark_roots()
960 for (n=0 ; n<bddvarnum ; n++) in reorder_setLevellookup()
1416 for (v=0 ; v<bddvarnum ; v++)
1534 if (v1 < 0 || v1 >= bddvarnum || v2 < 0 || v2 >= bddvarnum) in bdd_swapvar()
1649 for (n=0 ; n<bddvarnum ; n++) in reorder_init()
1690 for (n=0 ; n<bddvarnum ; n++) in reorder_done()
1696 for (n=0 ; n<bddvarnum ; n++) in reorder_done()
2171 if (first < 0 || first >= bddvarnum || last < 0 || last >= bddvarnum) in bdd_intaddvarblock()
[all …]
|
| H A D | bddio.c | 241 if ((set=(int *)malloc(sizeof(int)*bddvarnum)) == NULL) in bdd_fprintset()
247 memset(set, 0, sizeof(int) * bddvarnum); in bdd_fprintset()
266 for (n=0 ; n<bddvarnum ; n++) in bdd_printset_rec()
406 fprintf(ofile, "%d %d\n", n, bddvarnum); in bdd_save()
408 for (n=0 ; n<bddvarnum ; n++) in bdd_save()
509 if (vnum > bddvarnum) in bdd_load()
|
| H A D | cppext.cxx | 194 int *set = new (std::nothrow) int[bddvarnum]; in operator <<()
201 memset(set, 0, sizeof(int) * bddvarnum); in operator <<()
256 int *set = new (std::nothrow) int[bddvarnum]; in operator <<()
263 memset(set, 0, sizeof(int) * bddvarnum); in operator <<()
342 for (n=0 ; n<bddvarnum ; n++) in bdd_printset_rec()
|
| H A D | bddop.c | 224 misccache_varnum = bddvarnum; in bdd_operator_init()
260 misccache_varnum = bddvarnum; in bdd_operator_reset()
1859 if (var < 0 || var >= bddvarnum) in bdd_compose()
2787 supportSize = bddvarnum; in bdd_support()
3428 if (misccache_varnum != bddvarnum) in bdd_satcount()
3431 misccache_varnum = bddvarnum; in bdd_satcount()
3443 double unused = bddvarnum; in bdd_satcountset()
3519 if (misccache_varnum != bddvarnum) in bdd_satcountln()
3522 misccache_varnum = bddvarnum; in bdd_satcountln()
3537 double unused = bddvarnum; in bdd_satcountlnset()
[all …]
|
| H A D | fdd.c | 164 if (firstbddvar + extravars > bddvarnum) in fdd_extdomain()
480 store = NEW(char,bddvarnum); in fdd_scanallvar()
481 for (n=0 ; n<bddvarnum ; n++) in fdd_scanallvar()
727 set = (int *)malloc(sizeof(int)*bddvarnum); in fdd_fprintset()
734 memset(set, 0, sizeof(int) * bddvarnum); in fdd_fprintset()
|
| H A D | kernel.h | 127 extern int bddvarnum; /* Number of defined BDD variables */
|
| /dports/math/py-spot/spot-2.10.2/buddy/src/ |
| H A D | kernel.c | 228 bddvarnum = 0; in bdd_init()
293 bddvarnum = 0; in bdd_done()
327 if (num < bddvarnum) in bdd_setvarnum()
330 if (num == bddvarnum) in bdd_setvarnum()
386 for(bdv=bddvarnum ; bddvarnum < num; bddvarnum++) in bdd_setvarnum()
388 bddvarset[bddvarnum*2] = PUSHREF( bdd_makenode(bddvarnum, 0, 1) ); in bdd_setvarnum()
389 bddvarset[bddvarnum*2+1] = bdd_makenode(bddvarnum, 1, 0); in bdd_setvarnum()
394 bddvarnum = bdv; in bdd_setvarnum()
400 bddlevel2var[bddvarnum] = bddvarnum; in bdd_setvarnum()
401 bddvar2level[bddvarnum] = bddvarnum; in bdd_setvarnum()
[all …]
|
| H A D | pairs.c | 65 for (n=0 ; n<bddvarnum ; n++) in bdd_pairs_done()
125 if ((p->result=(BDD*)malloc(sizeof(BDD)*bddvarnum)) == NULL) in bdd_pairalloc()
174 for (n=0 ; n<bddvarnum ; n++) in bdd_newpair()
205 for (n=0 ; n<bddvarnum ; n++) in bdd_copypair()
239 for (n=0; n<bddvarnum; n++) in bdd_mergepairs()
295 if (oldvar < 0 || oldvar > bddvarnum-1) in bdd_setpair()
297 if (newvar < 0 || newvar > bddvarnum-1) in bdd_setpair()
319 if (oldvar < 0 || oldvar >= bddvarnum) in bdd_setbddpair()
402 for (n=0 ; n<bddvarnum ; n++) in bdd_freepair()
422 for (n=0 ; n<bddvarnum ; n++) in bdd_resetpair()
|
| H A D | reorder.c | 834 for (n=0 ; n<bddvarnum ; n++) in addref_rec()
846 for (n=0 ; n<bddvarnum ; n++) in addDependencies()
899 memset(dep,0,bddvarnum); in mark_roots()
960 for (n=0 ; n<bddvarnum ; n++) in reorder_setLevellookup()
1416 for (v=0 ; v<bddvarnum ; v++)
1534 if (v1 < 0 || v1 >= bddvarnum || v2 < 0 || v2 >= bddvarnum) in bdd_swapvar()
1649 for (n=0 ; n<bddvarnum ; n++) in reorder_init()
1690 for (n=0 ; n<bddvarnum ; n++) in reorder_done()
1696 for (n=0 ; n<bddvarnum ; n++) in reorder_done()
2171 if (first < 0 || first >= bddvarnum || last < 0 || last >= bddvarnum) in bdd_intaddvarblock()
[all …]
|
| H A D | bddio.c | 241 if ((set=(int *)malloc(sizeof(int)*bddvarnum)) == NULL) in bdd_fprintset()
247 memset(set, 0, sizeof(int) * bddvarnum); in bdd_fprintset()
266 for (n=0 ; n<bddvarnum ; n++) in bdd_printset_rec()
406 fprintf(ofile, "%d %d\n", n, bddvarnum); in bdd_save()
408 for (n=0 ; n<bddvarnum ; n++) in bdd_save()
509 if (vnum > bddvarnum) in bdd_load()
|
| H A D | cppext.cxx | 194 int *set = new (std::nothrow) int[bddvarnum]; in operator <<()
201 memset(set, 0, sizeof(int) * bddvarnum); in operator <<()
256 int *set = new (std::nothrow) int[bddvarnum]; in operator <<()
263 memset(set, 0, sizeof(int) * bddvarnum); in operator <<()
342 for (n=0 ; n<bddvarnum ; n++) in bdd_printset_rec()
|
| H A D | bddop.c | 224 misccache_varnum = bddvarnum; in bdd_operator_init()
260 misccache_varnum = bddvarnum; in bdd_operator_reset()
1859 if (var < 0 || var >= bddvarnum) in bdd_compose()
2787 supportSize = bddvarnum; in bdd_support()
3428 if (misccache_varnum != bddvarnum) in bdd_satcount()
3431 misccache_varnum = bddvarnum; in bdd_satcount()
3443 double unused = bddvarnum; in bdd_satcountset()
3519 if (misccache_varnum != bddvarnum) in bdd_satcountln()
3522 misccache_varnum = bddvarnum; in bdd_satcountln()
3537 double unused = bddvarnum; in bdd_satcountlnset()
[all …]
|
| H A D | fdd.c | 164 if (firstbddvar + extravars > bddvarnum) in fdd_extdomain()
480 store = NEW(char,bddvarnum); in fdd_scanallvar()
481 for (n=0 ; n<bddvarnum ; n++) in fdd_scanallvar()
727 set = (int *)malloc(sizeof(int)*bddvarnum); in fdd_fprintset()
734 memset(set, 0, sizeof(int) * bddvarnum); in fdd_fprintset()
|
| H A D | kernel.h | 127 extern int bddvarnum; /* Number of defined BDD variables */
|