Home
last modified time | relevance | path

Searched refs:lub (Results 1 – 25 of 2071) sorted by relevance

12345678910>>...83

/dports/shells/klish/klish-2.1.4/lub/
H A Dmodule.am7 lub/argv.h \
9 lub/list.h \
10 lub/ctype.h \
11 lub/c_decl.h \
12 lub/dump.h \
14 lub/types.h \
16 lub/db.h \
17 lub/ini.h \
18 lub/log.h \
19 lub/conv.h
[all …]
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/core/
H A DBoundSetDomain.java77 this.lub = lub.cloneLight(); in BoundSetDomain()
100 this.lub = lub.cloneLight(); in BoundSetDomain()
163 this.lub = this.lub.union(set); in addDom()
176 lub = lub.union(domain.lub()); in addDom()
270 if (this.lub.contains(domain.lub())) in contains()
476 IntDomain lub_i = lub.intersect(domain.lub());
578 this.lub = domain.lub();
828 result.lub = lub.cloneLight();
1104 result.lub = lub.cloneLight();
1178 result.lub = lub.cloneLight();
[all …]
/dports/math/gecode/gecode-0916a1a/gecode/set/var-imp/
H A Dset.hpp50 lub.card(Limits::card); in SetVarImp()
51 assert(lub.card()==lub.size()); in SetVarImp()
60 lub.card(std::min(cardMax, lub.size() )); in SetVarImp()
70 lub.card(std::min(cardMax, lub.size() )); in SetVarImp()
80 lub.card(std::min(cardMax, lub.size() )); in SetVarImp()
89 lub.card(std::min(cardMax, lub.size() )); in SetVarImp()
176 lub.card(newMax); in cardMax()
223 lub.card(0); in intersectI()
224 SetDelta d(1, 0, lub.min(), lub.max()); in intersectI()
252 lub.card(lub.size()); in intersectI_full()
[all …]
H A Dset.cpp49 glb.become(home, lub); in cardMin_full()
60 lub.become(home, glb); in cardMax_full()
71 lub.card(lub.size()); in processLubChange()
73 glb.become(home, lub); in processLubChange()
75 lub.card(glb.size()); in processLubChange()
81 glb.become(home, lub); in processLubChange()
97 lub.card(glb.size()); in processGlbChange()
103 lub.become(home, glb); in processGlbChange()
119 lub.update(home, x.lub); in SetVarImp()
121 lub.card(x.cardMax()); in SetVarImp()
[all …]
/dports/shells/klish/klish-2.1.4/lub/bintree/
H A Dmodule.am2 liblub_la_SOURCES += lub/bintree/bintree_dump.c \
3 lub/bintree/bintree_find.c \
4 lub/bintree/bintree_findfirst.c \
5 lub/bintree/bintree_findlast.c \
6 lub/bintree/bintree_findnext.c \
7 lub/bintree/bintree_findprevious.c \
8 lub/bintree/bintree_init.c \
9 lub/bintree/bintree_insert.c \
10 lub/bintree/bintree_iterator_init.c \
11 lub/bintree/bintree_iterator_next.c \
[all …]
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/constraints/
H A DLex.java126 if (b.domain.lub().isEmpty()) in consistency()
131 if (a.domain.lub().isEmpty()) in consistency()
147 int minA = a.domain.lub().min(); in consistency()
148 int maxB = b.domain.lub().max(); in consistency()
237 if (b.domain.lub().min() == a.domain.lub().min()) in consistency()
303 … if (strict && nextElinGLBofB == b.domain.lub().previousValue(b.domain.lub().max())) in consistency()
307 … if (strict && nextElinGLBofA == a.domain.lub().previousValue(a.domain.lub().max()) in consistency()
308 && a.domain.lub().max() >= b.domain.lub().max()) in consistency()
312 … if (strict && nextElinGLBofA == a.domain.lub().max() && nextElinGLBofB == b.domain.lub().max()) in consistency()
347 … int previous = b.domain.lub().previousValue(b.domain.lub().max()); in consistency()
[all …]
H A DAdisjointB.java117 a.domain.inLUB(store.level, a, a.domain.lub().subtract(b.domain.glb())); in consistency()
121 b.domain.inLUB(store.level, b, b.domain.lub().subtract(a.domain.glb())); in consistency()
149 maxSizeOfIntersection = a.domain.lub().sizeOfIntersection(b.domain.lub()); in consistency()
150 assert (maxSizeOfIntersection == a.domain.lub().intersect(b.domain.lub()) in consistency()
155 …elementsReservedForB -= (b.domain.lub().getSize() - b.domain.glb().getSize() - maxSizeOfIntersecti… in consistency()
160 … a.domain.inCardinality(store.level, a, 0, a.domain.lub().getSize() - elementsReservedForB); in consistency()
180 maxSizeOfIntersection = b.domain.lub().sizeOfIntersection(a.domain.lub()); in consistency()
181 assert (maxSizeOfIntersection == b.domain.lub().intersect(a.domain.lub()) in consistency()
187 …elementsReservedForA -= (a.domain.lub().getSize() - a.domain.glb().getSize() - maxSizeOfIntersecti… in consistency()
192 … b.domain.inCardinality(store.level, b, 0, b.domain.lub().getSize() - elementsReservedForA); in consistency()
[all …]
H A DAintersectBeqC.java140 IntDomain temp = b.domain.glb().subtract(c.domain.lub()); in consistency()
142 a.domain.inLUB(store.level, a, a.domain.lub().subtract(temp)); in consistency()
149 IntDomain temp = a.domain.glb().subtract(c.domain.lub()); in consistency()
151 b.domain.inLUB(store.level, b, b.domain.lub().subtract(temp)); in consistency()
165 c.domain.inLUB(store.level, c, a.domain.lub().intersect(b.domain.lub())); in consistency()
188 int sizeOf4 = a.domain.glb().subtract(b.domain.lub()).getSize(); in consistency()
201 int sizeOf_6_7 = a.domain.lub().intersect(b.domain.glb()).getSize(); in consistency()
215 int sizeOf8 = b.domain.glb().subtract(a.domain.lub()).getSize(); in consistency()
242 int sizeOf1_4 = a.domain.lub().subtract(b.domain.lub()).getSize(); in consistency()
243 int sizeOf3_8 = b.domain.lub().subtract(a.domain.lub()).getSize(); in consistency()
[all …]
H A DAdiffBeqC.java137 a.domain.inLUB(store.level, a, b.domain.lub().union(c.domain.lub())); in consistency()
146 b.domain.inLUB(store.level, b, b.domain.lub().subtract(c.domain.glb())); in consistency()
154 c.domain.inGLB(store.level, c, a.domain.glb().subtract(b.domain.lub())); in consistency()
155 c.domain.inLUB(store.level, c, a.domain.lub().subtract(b.domain.glb())); in consistency()
193 int sizeOf4 = a.domain.glb().subtract(b.domain.lub()).getSize(); in consistency()
198 sizeOf8 = b.domain.glb().subtract(a.domain.lub()).getSize(); in consistency()
200 … int sizeOf2_7 = a.domain.lub().intersect(b.domain.lub()).subtract(a.domain.glb()).getSize(); in consistency()
227 int sizeOf1_2_4_5 = a.domain.lub().subtract(b.domain.glb()).getSize(); in consistency()
234 … int sizeOf3 = b.domain.lub().subtract(a.domain.lub()).subtract(b.domain.glb()).getSize(); in consistency()
275 int sizeOf1_4 = a.domain.lub().subtract(b.domain.lub()).getSize(); in consistency()
[all …]
H A DAunionBeqC.java140 if (cDom.lub().getSize() > 0) { in consistency()
141 IntDomain glbA = cDom.glb().subtract(bDom.lub()); in consistency()
147 a.domain.inLUB(store.level, a, cDom.lub()); in consistency()
150 if (cDom.lub().getSize() > 0) { in consistency()
151 IntDomain glbB = cDom.glb().subtract(aDom.lub()); in consistency()
157 b.domain.inLUB(store.level, b, cDom.lub()); in consistency()
172 c.domain.inLUB(store.level, c, aDom.lub().union(bDom.lub())); in consistency()
200 int sizeOf_4 = a.domain.glb().subtract(b.domain.lub()).getSize(); in consistency()
201 int sizeOf_8 = b.domain.glb().subtract(a.domain.lub()).getSize(); in consistency()
207 int sizeOf_2_5_6_7 = a.domain.lub().subtract(b.domain.lub()).getSize(); in consistency()
[all …]
/dports/misc/urbit/urbit-urbit-0.6.0/jets/e/
H A Dlune.c8 u3qe_lune(u3_atom lub) in u3qe_lune() argument
10 if (lub == 0) { in u3qe_lune()
15 c3_w end_w = u3r_met(3, lub) - 1; in u3qe_lune()
19 if (u3r_byte(pos_w, lub) != 10) { in u3qe_lune()
28 if (u3r_byte(pos_w, lub) == 10) { in u3qe_lune()
34 if (u3r_byte(pos_w, lub) == 10) { in u3qe_lune()
39 return u3nc(u3qc_cut(3, pos_w, (end_w - pos_w), lub), lin); in u3qe_lune()
46 u3_noun lub; in u3we_lune() local
48 if ( (u3_none == (lub = u3r_at(u3x_sam, cor))) || in u3we_lune()
49 (c3n == u3ud(lub)) ) in u3we_lune()
[all …]
H A Dlore.c8 u3qe_lore(u3_atom lub) in u3qe_lore() argument
10 c3_w len_w = u3r_met(3, lub); in u3qe_lore()
25 byt_y = u3r_byte(pos_w + meg_w, lub); in u3qe_lore()
39 u3r_bytes(pos_w, meg_w, byts_y, lub); in u3qe_lore()
56 u3_noun lub; in u3we_lore() local
58 if ( (u3_none == (lub = u3r_at(u3x_sam, cor))) || in u3we_lore()
59 (c3n == u3ud(lub)) ) in u3we_lore()
63 return u3qe_lore(lub); in u3we_lore()
/dports/archivers/zip/zip30/theos/
H A D_isatty.c20 register short lub; in _isatty() local
22 lub = (int) _fcntl(&stdin[fd], 5, (size_t) 0); in _isatty()
23 return (lub >= CONIN && lub <= CONOUT) in _isatty()
24 || (lub >= COM1 && lub <= COM4) in _isatty()
25 || (lub >= COM5 && lub <= COM16); in _isatty()
/dports/archivers/unzip/unzip60/theos/
H A D_isatty.c20 register short lub; in _isatty() local
22 lub = (int) _fcntl(&stdin[fd], 5, (size_t) 0); in _isatty()
23 return (lub >= CONIN && lub <= CONOUT) in _isatty()
24 || (lub >= COM1 && lub <= COM4) in _isatty()
25 || (lub >= COM5 && lub <= COM16); in _isatty()
/dports/math/gecode/gecode-0916a1a/test/set/
H A Delement.cpp65 CountableSetValues x4v(x.lub, x[4]); in solution()
83 CountableSetRanges z(x.lub, x[4]); in solution()
114 CountableSetValues x4v(x.lub, x[1]); in solution()
133 CountableSetRanges z(x.lub, x[1]); in solution()
159 CountableSetRanges x4r(x.lub, x[4]); in solution()
176 CountableSetRanges z(x.lub, x[4]); in solution()
203 CountableSetRanges x4r(x.lub, x[4]); in solution()
220 CountableSetRanges z(x.lub, x[4]); in solution()
299 CountableSetRanges z(x.lub, x[3]); in solution()
327 CountableSetRanges xr(x.lub, x[0]); in solution()
[all …]
H A Ddistinct.cpp61 CountableSetRanges xr0(x.lub, x[0]); in solution()
62 CountableSetRanges xr1(x.lub, x[1]); in solution()
69 CountableSetRanges xr0(x.lub, x[0]); in solution()
70 CountableSetRanges xr2(x.lub, x[2]); in solution()
77 CountableSetRanges xr1(x.lub, x[1]); in solution()
78 CountableSetRanges xr2(x.lub, x[2]); in solution()
85 CountableSetRanges xr0(x.lub, x[0]); in solution()
86 CountableSetRanges xr1(x.lub, x[1]); in solution()
87 CountableSetRanges xr2(x.lub, x[2]); in solution()
/dports/shells/klish/klish-2.1.4/
H A DMakefile.in239 lub/ctype/ctype.lo lub/dump/dump.lo lub/string/string.lo \
241 lub/system/system_file.lo lub/db/db.lo lub/ini/pair.lo \
242 lub/ini/ini.lo lub/log/log.lo lub/conv/conv.lo
540 nobase_include_HEADERS = lub/argv.h lub/bintree.h lub/list.h \
541 lub/ctype.h lub/c_decl.h lub/dump.h lub/string.h lub/types.h \
542 lub/system.h lub/db.h lub/ini.h lub/log.h lub/conv.h \
555 lub/db/module.am lub/ini/module.am lub/log/module.am \
580 lub/list/list.c lub/list/private.h lub/ctype/ctype.c \
581 lub/dump/dump.c lub/dump/private.h lub/string/string.c \
584 lub/system/private.h lub/db/db.c lub/ini/pair.c lub/ini/ini.c \
[all …]
/dports/math/gecode/gecode-0916a1a/gecode/set/
H A Darray.cpp99 IntSetRanges lubr(lub); in SetVarArray()
100 IntSetRanges lubr_s(lub); in SetVarArray()
121 IntSetRanges lubr(lub); in SetVarArray()
122 IntSetRanges lubr_s(lub); in SetVarArray()
128 x[i] = SetVar(home,glb,lub,minCard,maxCard); in SetVarArray()
177 Set::Limits::check(lub,"SetVarArgs::SetVarArgs"); in SetVarArgs()
180 IntSetRanges lubr(lub); in SetVarArgs()
181 IntSetRanges lubr_s(lub); in SetVarArgs()
202 IntSetRanges lubr(lub); in SetVarArgs()
203 IntSetRanges lubr_s(lub); in SetVarArgs()
[all …]
/dports/math/gecode/gecode-0916a1a/gecode/set/trace/
H A Dtracer.cpp71 SetTraceDelta::Lub lub(d.lub()); in prune() local
72 if (lub()) { in prune()
73 os << lub.min() << ".." << lub.max(); in prune()
74 ++lub; in prune()
75 while (lub()) { in prune()
76 os << "," << lub.min() << ".." << lub.max(); in prune()
77 ++lub; in prune()
/dports/sysutils/webmin/webmin-1.981/ipfilter/lang/
H A Dpl.auto97 edit_host=Nazwa hosta lub adres
110 edit_prototcpudp=&lt;TCP lub UDP&gt;
142 save_emaskto=Brakująca lub nieprawidłowa maska docelowa
153 save_etos=Brakujący lub nieprawidłowy numer usługi dziesiętnej lub szesnastkowej
154 save_ettl=Brakujący lub niepoprawny numer dziesiętny lub szesnastkowy czasu życia
155 save_eon=Brakujący lub nieprawidłowy interfejs
285 nat_efrommask=Brakująca lub niepoprawna pasująca maska sieci lub CIDR
287 nat_etomask=Brakująca lub niepoprawna przetłumaczona maska sieci lub CIDR
288 nat_eiface=Brakujący lub nieprawidłowy interfejs NAT
308 nat_edport=Brakujący lub nieprawidłowy oryginalny port
[all …]
/dports/sysutils/webmin/webmin-1.981/heartbeat/lang/
H A Dpl.auto38 conf_ebaud=Brakująca lub nieprawidłowa szybkość transmisji
41 conf_eudpport=Brakujący lub nieprawidłowy port pulsu
43 conf_edeadtime=Brakujący lub nieprawidłowy czas martwy
47 conf_elogfile=Brakująca lub nieprawidłowa nazwa pliku dziennika
48 conf_einitdead=Brakujący lub nieprawidłowy początkowy czas martwy
50 conf_emcast_dev=Brakujące lub nieprawidłowe urządzenie multiemisji
51 conf_emcast_ip=Brakujący lub nieprawidłowy adres grupy multiemisji
53 conf_emcast_ttl=Brakujący lub nieprawidłowy czas życia multiemisji
85 node_enone=Brakujący lub nieprawidłowy węzeł główny
97 auth_emd5=Brakujące lub nieprawidłowe hasło MD5
[all …]
/dports/sysutils/webmin/webmin-1.981/syslog-ng/lang/
H A Dpl.auto109 destination_efile_name=Brakująca lub nieprawidłowa nazwa pliku
118 destination_enet_port=Brakujący lub nieprawidłowy numer portu
121 destination_enet_host=Brakujący lub nieprawidłowy host lub adres serwera Syslog
169 filter_ename=Brakująca lub niepoprawna nazwa filtra
174 filter_eprog=Brakująca lub nieprawidłowa nazwa programu
176 filter_ehost=Brakująca lub nieprawidłowa nazwa hosta
177 filter_enet=Brakujący lub nieprawidłowy adres IP sieci
178 filter_emask=Brakująca lub nieprawidłowa maska sieci
242 source_ename=Brakująca lub nieprawidłowa nazwa źródła
245 source_egroup=Brakująca lub nieprawidłowa grupa plików gniazda
[all …]
/dports/sysutils/webmin/webmin-1.981/dovecot/lang/
H A Dpl64 ssl_ekey=Brakujący lub nieistniejący plik klucza prywatnego
65 ssl_ecert=Brakujący lub nieistniejący plik certyfikatu
66 ssl_eca=Brakujący lub nieistniejący plik certyfikatu CA
86 login_echroot=Brakujący lub nieprawidłowy katalog chroot
111 login_epasswdfile=Brakujący lub nieistniejący własny plik hasła
112 login_euid=Brakujący lub nienumeryczny UID
113 login_egid=Brakujący lub nienumeryczny GID
117 login_esql=Brakujący lub nieistniejący plik konfiguracyjny SQL
118 login_eppam=Brakująca lub nieprawidłowa usługa PAM
121 login_eckey=Brakujący lub nieprawidłowy klucz cache
[all …]
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/src/
H A Dbeam_types.erl213 lub(A, B);
226 lub(A, B);
237 lub(A, B);
265 lub(A, B).
297 lub(A, B);
516 lub(A, B).
876 lub(T, T) -> function
882 lub(any, _) -> function
884 lub(_, any) -> function
952 lub(B, A);
[all …]
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/src/
H A Dbeam_types.erl207 lub(A, B);
220 lub(A, B);
231 lub(A, B);
259 lub(A, B).
291 lub(A, B);
504 lub(A, B).
864 lub(T, T) -> function
870 lub(any, _) -> function
872 lub(_, any) -> function
940 lub(B, A);
[all …]

12345678910>>...83