| /dports/math/z3/z3-z3-4.8.13/src/solver/ |
| H A D | solver.cpp | 112 expr_ref tmp(m), nlit(m), lit(m), val(m); in get_consequences_core() local
126 nlit = m.mk_not(tmp); in get_consequences_core()
130 nlit = tmp; in get_consequences_core()
137 scoped_assumption_push _scoped_push(asms1, nlit); in get_consequences_core()
149 if (core[j].get() != nlit) { in get_consequences_core()
161 nlit = m.mk_not(lit); in get_consequences_core()
163 assert_expr(nlit); in get_consequences_core()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/solver/ |
| H A D | solver.cpp | 112 expr_ref tmp(m), nlit(m), lit(m), val(m); in get_consequences_core() local
126 nlit = m.mk_not(tmp); in get_consequences_core()
130 nlit = tmp; in get_consequences_core()
137 scoped_assumption_push _scoped_push(asms1, nlit); in get_consequences_core()
149 if (core[j].get() != nlit) { in get_consequences_core()
161 nlit = m.mk_not(lit); in get_consequences_core()
163 assert_expr(nlit); in get_consequences_core()
|
| /dports/sysutils/vector/vector-0.10.0/cargo-crates/krb5-src-0.2.4+1.18.2/krb5/src/lib/krb5/os/ |
| H A D | localauth_rule.c | 218 size_t nlit; in aname_get_selstring() local
246 nlit = strcspn(current, "$]"); in aname_get_selstring()
247 k5_buf_add_len(&selstring, current, nlit); in aname_get_selstring()
248 current += nlit; in aname_get_selstring()
|
| /dports/security/krb5/krb5-1.19.2/src/lib/krb5/os/ |
| H A D | localauth_rule.c | 218 size_t nlit; in aname_get_selstring() local
246 nlit = strcspn(current, "$]"); in aname_get_selstring()
247 k5_buf_add_len(&selstring, current, nlit); in aname_get_selstring()
248 current += nlit; in aname_get_selstring()
|
| /dports/graphics/povray37/povray-3.7.0.10/source/backend/render/ |
| H A D | trace.h | 80 LitInterval(bool nlit, double ns0, double ns1, size_t nl0, size_t nl1) : in LitInterval()
81 lit(nlit), s0(ns0), s1(ns1), ds(ns1 - ns0), l0(nl0), l1(nl1) { } in LitInterval()
96 …MediaInterval(bool nlit, int nsamples, double ns0, double ns1, double nds, size_t nl0, size_t nl1)… in MediaInterval()
97 lit(nlit), samples(nsamples), s0(ns0), s1(ns1), ds(nds), l0(nl0), l1(nl1) { } in MediaInterval()
98 …MediaInterval(bool nlit, int nsamples, double ns0, double ns1, double nds, size_t nl0, size_t nl1,… in MediaInterval()
99 …lit(nlit), samples(nsamples), s0(ns0), s1(ns1), ds(nds), l0(nl0), l1(nl1), od(nod), te(nte), te2(n… in MediaInterval()
112 LightSourceIntersectionEntry(double ns, size_t nl, bool nlit) : in LightSourceIntersectionEntry()
113 s(ns), l(nl), lit(nlit) { } in LightSourceIntersectionEntry()
|
| /dports/graphics/povray38/povunix-v3.8.0-beta.2-src/source/core/render/ |
| H A D | trace.h | 77 LitInterval(bool nlit, double ns0, double ns1, size_t nl0, size_t nl1) : in LitInterval()
78 lit(nlit), s0(ns0), s1(ns1), ds(ns1 - ns0), l0(nl0), l1(nl1) { } in LitInterval()
93 …MediaInterval(bool nlit, int nsamples, double ns0, double ns1, double nds, size_t nl0, size_t nl1)… in MediaInterval()
94 lit(nlit), samples(nsamples), s0(ns0), s1(ns1), ds(nds), l0(nl0), l1(nl1) { } in MediaInterval()
95 …MediaInterval(bool nlit, int nsamples, double ns0, double ns1, double nds, size_t nl0, size_t nl1,… in MediaInterval()
96 …lit(nlit), samples(nsamples), s0(ns0), s1(ns1), ds(nds), l0(nl0), l1(nl1), od(nod), te(nte), te2(n… in MediaInterval()
109 LightSourceIntersectionEntry(double ns, size_t nl, bool nlit) : in LightSourceIntersectionEntry()
110 s(ns), l(nl), lit(nlit) { } in LightSourceIntersectionEntry()
|
| /dports/math/z3/z3-z3-4.8.13/src/muz/spacer/ |
| H A D | spacer_arith_generalizers.cpp | 115 expr_ref nlit(m); in operator ()() local
116 nlit = m.mk_not(lit); in operator ()()
117 sol->assert_expr(nlit); in operator ()()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/ |
| H A D | spacer_arith_generalizers.cpp | 115 expr_ref nlit(m); in operator ()() local
116 nlit = m.mk_not(lit); in operator ()()
117 sol->assert_expr(nlit); in operator ()()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | term_util.cpp | 461 Node nlit; in rewriteVtsSymbols() local
469 nlit = substituteVtsFreeTerms( n ); in rewriteVtsSymbols()
470 Trace("quant-vts-debug") << "...return " << nlit << std::endl; in rewriteVtsSymbols()
473 return nlit; in rewriteVtsSymbols()
476 nlit = ( n.getKind()==GEQ && res==1 ) ? d_true : d_false; in rewriteVtsSymbols()
480 nlit = d_false; in rewriteVtsSymbols()
488 Trace("quant-vts-debug") << "Return " << nlit << std::endl; in rewriteVtsSymbols()
489 return nlit; in rewriteVtsSymbols()
493 nlit = substituteVtsFreeTerms( n ); in rewriteVtsSymbols()
494 Trace("quant-vts-debug") << "...return " << nlit << std::endl; in rewriteVtsSymbols()
[all …]
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | TheoryFlattening.cpp | 159 Literal* nlit = replaceTopTerms(lit,newLits,maxVar,abstracted); in apply() local
160 if(nlit==lit){ in apply()
169 lits.push(nlit); in apply()
173 result.push(nlit); in apply()
|
| /dports/devel/plan9port/plan9port-1f098efb7370a0b28306d10681e21883fb1c1507/src/libflate/ |
| H A D | inflate.c | 268 int i, j, n, c, nlit, ndist, nclen, res, nb; in dynamicblock() local
272 nlit = (in->sreg&0x1f) + 257; in dynamicblock()
278 if(nlit > Nlitlen || ndist > Noff || nlit < 257) { in dynamicblock()
306 n = nlit+ndist; in dynamicblock()
372 if(!hufftab(lentab, len, nlit, LitlenBits) in dynamicblock()
373 || !hufftab(offtab, &len[nlit], ndist, OffBits)){ in dynamicblock()
|
| H A D | deflate.c | 144 int nlit; member
914 int i, n, m, v, c, nlit, noff, ncode, nclen; in huffcodes() local
923 for(nlit = Nlitlen; nlit > 257 && littab[nlit-1].bits == 0; nlit--) in huffcodes()
931 for(i = 0; i < nlit; i++) in huffcodes()
934 codes[i + nlit] = offtab[i].bits; in huffcodes()
941 ncode = nlit+noff; in huffcodes()
989 dc->nlit = nlit; in huffcodes()
1008 lzput(out, dc->nlit-257, 5); in wrdyncode()
|
| /dports/games/shockolate/systemshock-0.8.2-43-ga9eb1b93/src/Libraries/2D/Source/ |
| H A D | tluctab.c | 167 int gr_dump_tluc8_table(uchar *buf, int nlit) in gr_dump_tluc8_table() argument
170 int k, lsize = nlit*256; in gr_dump_tluc8_table()
173 *(p++) = nlit; in gr_dump_tluc8_table()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_prob.cpp | 74 literal nlit = ~lit; in flip() local
93 for (unsigned cls_idx : use_list(*this, nlit)) { in flip()
98 inc_break(nlit); in flip()
106 ci.add(nlit); in flip()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_prob.cpp | 74 literal nlit = ~lit; in flip() local
93 for (unsigned cls_idx : use_list(*this, nlit)) { in flip()
98 inc_break(nlit); in flip()
106 ci.add(nlit); in flip()
|
| /dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/syscall/ |
| H A D | unzip_nacl.go | 74 nlit := int(f.b&0x1F) + 257
103 for i, n := 0, nlit+ndist; i < n; {
157 if !f.h1.init(f.bits[0:nlit]) || !f.h2.init(f.bits[nlit:nlit+ndist]) {
|
| /dports/cad/nvc/nvc-r1.5.3/src/rt/ |
| H A D | pprint.c | 38 unsigned nlit = type_enum_literals(type); in pp_char_enum() local
39 for (unsigned i = 0; i < nlit; i++) { in pp_char_enum()
|
| /dports/lang/gcc12-devel/gcc-12-20211205/libgo/go/compress/flate/ |
| H A D | inflate.go | 373 nlit := int(f.b&0x1F) + 257
374 if nlit > maxNumLit {
408 for i, n := 0, nlit+ndist; i < n; {
459 if !f.h1.init(f.bits[0:nlit]) || !f.h2.init(f.bits[nlit:nlit+ndist]) {
|
| /dports/lang/gcc8/gcc-8.5.0/libgo/go/compress/flate/ |
| H A D | inflate.go | 373 nlit := int(f.b&0x1F) + 257
374 if nlit > maxNumLit {
408 for i, n := 0, nlit+ndist; i < n; {
459 if !f.h1.init(f.bits[0:nlit]) || !f.h2.init(f.bits[nlit:nlit+ndist]) {
|
| /dports/lang/gcc48/gcc-4.8.5/libgo/go/compress/flate/ |
| H A D | inflate.go | 287 nlit := int(f.b&0x1F) + 257
288 if nlit > maxLit {
320 for i, n := 0, nlit+ndist; i < n; {
371 if !f.h1.init(f.bits[0:nlit]) || !f.h2.init(f.bits[nlit:nlit+ndist]) {
|
| /dports/net/google-cloud-sdk-app-engine-go/platform/google_appengine/goroot-1.9/src/compress/flate/ |
| H A D | inflate.go | 373 nlit := int(f.b&0x1F) + 257
374 if nlit > maxNumLit {
408 for i, n := 0, nlit+ndist; i < n; {
459 if !f.h1.init(f.bits[0:nlit]) || !f.h2.init(f.bits[nlit:nlit+ndist]) {
|
| /dports/lang/gcc10/gcc-10.3.0/libgo/go/compress/flate/ |
| H A D | inflate.go | 373 nlit := int(f.b&0x1F) + 257
374 if nlit > maxNumLit {
408 for i, n := 0, nlit+ndist; i < n; {
459 if !f.h1.init(f.bits[0:nlit]) || !f.h2.init(f.bits[nlit:nlit+ndist]) {
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libgo/go/compress/flate/ |
| H A D | inflate.go | 373 nlit := int(f.b&0x1F) + 257
374 if nlit > maxNumLit {
408 for i, n := 0, nlit+ndist; i < n; {
459 if !f.h1.init(f.bits[0:nlit]) || !f.h2.init(f.bits[nlit:nlit+ndist]) {
|
| /dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/compress/flate/ |
| H A D | inflate.go | 373 nlit := int(f.b&0x1F) + 257
374 if nlit > maxNumLit {
408 for i, n := 0, nlit+ndist; i < n; {
459 if !f.h1.init(f.bits[0:nlit]) || !f.h2.init(f.bits[nlit:nlit+ndist]) {
|
| /dports/lang/go-devel/go-dragonfly-amd64-bootstrap/src/compress/flate/ |
| H A D | inflate.go | 373 nlit := int(f.b&0x1F) + 257
374 if nlit > maxNumLit {
408 for i, n := 0, nlit+ndist; i < n; {
459 if !f.h1.init(f.bits[0:nlit]) || !f.h2.init(f.bits[nlit:nlit+ndist]) {
|