| /dports/math/cvc4/CVC4-1.7/src/theory/sets/ |
| H A D | theory_sets_rewriter.cpp | 30 if(setTerm.getKind() == kind::EMPTYSET) { in checkConstantMembership()
65 }else if( node[1].getKind()==kind::EMPTYSET ){ in postRewrite()
122 } else if(node[0].getKind() == kind::EMPTYSET || in postRewrite()
123 node[1].getKind() == kind::EMPTYSET) { in postRewrite()
242 if(node[0].getKind() == kind::EMPTYSET) { in postRewrite()
268 if( node[0].getKind() == kind::EMPTYSET || in postRewrite()
269 node[1].getKind() == kind::EMPTYSET) { in postRewrite()
312 if( node[0].getKind() == kind::EMPTYSET || in postRewrite()
313 node[1].getKind() == kind::EMPTYSET) { in postRewrite()
357 if(node[0].getKind() == kind::EMPTYSET) { in postRewrite()
[all …]
|
| H A D | normal_form.h | 49 if (n.getKind() == kind::EMPTYSET) { in checkNormalConstant()
97 if (n.getKind() == kind::EMPTYSET) { in getElementsFromNormalConstant()
|
| H A D | kinds | 18 constant EMPTYSET \
62 typerule EMPTYSET ::CVC4::theory::sets::EmptySetTypeRule
|
| /dports/math/gap/gap-4.11.0/pkg/grape-4.8.3/nauty22/ |
| H A D | gtnauty.c | 101 EMPTYSET(active,m); in fcanonise()
164 EMPTYSET(active,m); in fcanonise()
221 EMPTYSET(active,m); in fcanonise_inv()
291 EMPTYSET(active,m); in fcanonise_inv()
344 EMPTYSET(active,m); in fgroup()
423 EMPTYSET(active,m); in fgroup()
480 EMPTYSET(active,m); in fgroup_inv()
566 EMPTYSET(active,m); in fgroup_inv()
660 EMPTYSET(sofar,m); in istransitive()
662 EMPTYSET(frontier,m); in istransitive()
[all …]
|
| H A D | nautil.c | 145 EMPTYSET(set2,m); in permset()
369 EMPTYSET(fix,m); in fmperm()
370 EMPTYSET(mcr,m); in fmperm()
411 EMPTYSET(fix,m); in fmptn()
412 EMPTYSET(mcr,m); in fmptn()
487 EMPTYSET(active,m); in doref()
588 EMPTYSET(tcell,m); in targetcell()
628 EMPTYSET(active,m); in breakout()
|
| H A D | nautaux.c | 79 EMPTYSET(workset,m); in ptncode()
132 EMPTYSET(workset,m); in equitable()
174 EMPTYSET(workset,m); in component()
|
| H A D | naututil.c | 347 for (v = 0, gv = g; v < n; ++v, gv += M) EMPTYSET(gv,m); in readgraph()
543 EMPTYSET(workset,m); in putorbits()
600 EMPTYSET(workset,M); in putquotient()
686 EMPTYSET(workset,m); in putptn()
774 EMPTYSET(workset,m); in readptn()
876 EMPTYSET(cell,m); in cellstarts()
1027 EMPTYSET(workset,m); in readvperm()
1428 EMPTYSET(workset,m); in complement()
|
| H A D | newedgeg.c | 60 EMPTYSET(s2,m2); in newedge()
66 EMPTYSET(s2,m2); in newedge()
|
| H A D | nautyex.c | 43 EMPTYSET(gv,m); in main()
|
| H A D | nautyex2.c | 42 EMPTYSET(gv,m); in main()
|
| H A D | directg.c | 84 EMPTYSET(px,me); in ismax()
273 EMPTYSET(x,me); in direct()
298 EMPTYSET(active,m); in direct()
|
| H A D | nautyex3.c | 63 EMPTYSET(gv,m); in main()
|
| /dports/math/nauty/nauty27r3/ |
| H A D | nautil.c | 162 EMPTYSET(set2,m); in permset()
387 EMPTYSET(fix,m); in fmperm()
388 EMPTYSET(mcr,m); in fmperm()
429 EMPTYSET(fix,m); in fmptn()
430 EMPTYSET(mcr,m); in fmptn()
509 EMPTYSET(active,m); in doref()
578 EMPTYSET(tcell,m); in maketargetcell()
618 EMPTYSET(active,m); in breakout()
|
| H A D | gtnauty.c | 85 EMPTYSET(active,m); in setlabptnfmt()
220 EMPTYSET(active,m); in fcanonise()
307 EMPTYSET(active,m); in fcanonise_inv()
395 EMPTYSET(active,m); in fcanonise_inv_sg()
492 EMPTYSET(active,m); in fgroup()
599 EMPTYSET(active,m); in fgroup_inv()
691 EMPTYSET(sofar,m); in istransitive()
693 EMPTYSET(frontier,m); in istransitive()
697 EMPTYSET(workset,m); in istransitive()
787 EMPTYSET(active,m); in tg_canonise()
|
| H A D | nautaux.c | 82 EMPTYSET(workset,m); in ptncode()
135 EMPTYSET(workset,m); in equitable()
177 EMPTYSET(workset,m); in component()
|
| H A D | directg.c | 147 EMPTYSET(px,me); in ismax()
247 EMPTYSET(g,m*n); in trythisone()
259 EMPTYSET(g,n); in trythisone()
428 EMPTYSET(x,me); in direct()
469 EMPTYSET(active,m); in direct()
|
| H A D | assembleg.c | 322 EMPTYSET(gout,m*(size_t)nmax); in main()
329 EMPTYSET(gout,mmax*(size_t)nmax); in main()
356 EMPTYSET(gout,m*(size_t)nmax); in main()
|
| H A D | newedgeg.c | 60 EMPTYSET(s2,m2); in newedge()
66 EMPTYSET(s2,m2); in newedge()
|
| H A D | nautinv.c | 210 EMPTYSET(workset,m); in twopaths()
887 EMPTYSET(wn,M); in setnbhd()
1060 EMPTYSET(ws1,m); in distances()
1062 EMPTYSET(ws2,m); in distances()
1066 EMPTYSET(workset,m); in distances()
1134 EMPTYSET(s0,m); in indsets()
1288 EMPTYSET(workset,m); in cellcliq()
1384 EMPTYSET(workset,m); in cellind()
1628 EMPTYSET(workset,m); in semirefine()
1741 EMPTYSET(ws1,m); in refinvar()
|
| /dports/math/py-pynauty/pynauty-1.0.2/src/nauty27r1/ |
| H A D | nautil.c | 162 EMPTYSET(set2,m); in permset()
387 EMPTYSET(fix,m); in fmperm()
388 EMPTYSET(mcr,m); in fmperm()
429 EMPTYSET(fix,m); in fmptn()
430 EMPTYSET(mcr,m); in fmptn()
509 EMPTYSET(active,m); in doref()
578 EMPTYSET(tcell,m); in maketargetcell()
618 EMPTYSET(active,m); in breakout()
|
| H A D | gtnauty.c | 85 EMPTYSET(active,m); in setlabptnfmt()
220 EMPTYSET(active,m); in fcanonise()
307 EMPTYSET(active,m); in fcanonise_inv()
395 EMPTYSET(active,m); in fcanonise_inv_sg()
492 EMPTYSET(active,m); in fgroup()
599 EMPTYSET(active,m); in fgroup_inv()
691 EMPTYSET(sofar,m); in istransitive()
693 EMPTYSET(frontier,m); in istransitive()
697 EMPTYSET(workset,m); in istransitive()
787 EMPTYSET(active,m); in tg_canonise()
|
| H A D | nautaux.c | 82 EMPTYSET(workset,m); in ptncode()
135 EMPTYSET(workset,m); in equitable()
177 EMPTYSET(workset,m); in component()
|
| H A D | directg.c | 147 EMPTYSET(px,me); in ismax()
247 EMPTYSET(g,m*n); in trythisone()
259 EMPTYSET(g,n); in trythisone()
428 EMPTYSET(x,me); in direct()
469 EMPTYSET(active,m); in direct()
|
| H A D | assembleg.c | 322 EMPTYSET(gout,m*(size_t)nmax); in main()
329 EMPTYSET(gout,mmax*(size_t)nmax); in main()
356 EMPTYSET(gout,m*(size_t)nmax); in main()
|
| H A D | newedgeg.c | 60 EMPTYSET(s2,m2); in newedge()
66 EMPTYSET(s2,m2); in newedge()
|