Home
last modified time | relevance | path

Searched refs:holds (Results 1 – 25 of 7538) sorted by relevance

12345678910>>...302

/dports/math/eprover/eprover-E-2.0/EXTERNAL/
H A DPLA012-1+rm_eq_rstfp.csscpa2 [++ holds(and(X, Y), State),
3 -- holds(X, State),
4 -- holds(Y, State)]).
8 -- holds(empty, State),
9 -- holds(clear(X), State),
14 -- holds(on(X, Y), State),
15 -- holds(clear(X), State),
16 -- holds(empty, State)]).
20 -- holds(on(X, Y), State),
25 -- holds(clear(X), State),
[all …]
/dports/math/clingo/clingo-5.5.1/examples/reify/gac/examples/conformant/
H A Dbase.lp22 holds(F,0) :- initially(L), complement(F,L,M).
26 not holds(F,0) : initially_oneof(N,M,B), complement(F,L,M);
27 holds(F,0) : initially_oneof(N,L,B), complement(F,L,M).
38 holds(L,T) :- occurs(A,T), effect(A,L,N), holds(C,T-1) : condition(A,C,N).
39 holds(L,T) :- time(T), holds(L,T-1), complement(L,M), not holds(M,T).
40 fail :- contradict(F), complement(F,L,M), holds(L,T), holds(M,T).
44 not holds(F',T-1) : condition(A,M',N), complement(F',L',M');
46 holds(F,T) :- caused(L,T), complement(F,L,M).
47 holds(F,T) :- time(T), holds(F,T-1), complement(F,L,M), not caused(M,T).
52 fail :- goal(L), not holds(F,horizon), complement(F,L,M).
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/redex-examples/redex/examples/list-machine/
H A Dtest.rkt13 (test-equal (judgment-holds (var-set empty x nil r) r)
62 (test-equal (judgment-holds (:set empty x nil Γ) Γ)
69 (test-equal (judgment-holds (⊂ nil nil)) #t)
70 (test-equal (judgment-holds (⊂ nil (list nil))) #t)
79 (define subtypes (judgment-holds (⊂ τ_s τ) τ_s))
84 (judgment-holds (⊂ τ_3 τ))))))
115 (test-equal (judgment-holds (check-instr empty
121 (test-equal (judgment-holds (check-instr empty
127 (test-equal (judgment-holds (check-instr empty
138 (test-equal (judgment-holds (check-instr
[all …]
H A Dlist-machine.rkt68 (judgment-holds (var-lookup r v (cons a_0 a_1)))
69 (judgment-holds (var-set r v_2 a_0 r_2)))
73 (judgment-holds (var-lookup r v (cons a_0 a_1)))
74 (judgment-holds (var-set r v_2 a_1 r_2)))
78 (judgment-holds (var-lookup r v_0 a_0))
79 (judgment-holds (var-lookup r v_1 a_1))
80 (judgment-holds (var-set r v_2 (cons a_0 a_1) r_2)))
84 (judgment-holds (var-lookup r v (cons a_0 a_1))))
88 (judgment-holds (var-lookup r v nil))
89 (judgment-holds (program-lookup p l ι_2)))
[all …]
/dports/math/clingo/clingo-5.5.1/examples/clingo/consequences/
H A Dexample.lp2 { holds(X) : atom(X) } 3.
3 holds(p(X)) :- holds(p(X-1)), atom(p(X)), holds(q).
4 holds(p(X)) :- holds(p(X+1)), atom(p(X)), not holds(q).
/dports/multimedia/QtAV/QtAV-1.13.0/qml/
H A DVideo.qml172 This property holds the buffer value.
473 This property holds the title of the media.
489 This property holds the author of the media.
513 This property holds the category of the media
521 This property holds the genre of the media.
537 This property holds the date of the media.
610 This property holds the type of the media.
692 This property holds the composer of the media.
708 This property holds the lyrics to the media.
716 This property holds the mood of the media.
[all …]
/dports/math/cvc4/CVC4-1.7/proofs/signatures/
H A Der_test.plf33 (% pf_c1 (holds (clc (pos v1) (clc (pos v2) cln)))
34 (% pf_c2 (holds (clc (neg v1) (clc (pos v2) cln)))
35 (% pf_c3 (holds (clc (pos v1) (clc (neg v2) cln)))
36 (% pf_c4 (holds (clc (neg v1) (clc (neg v2) cln)))
37 (: (holds cln)
81 (% pf_c1 (holds (clc (pos v1) (clc (pos v2) (clc (neg v3) cln))))
82 (% pf_c2 (holds (clc (neg v1) (clc (neg v2) (clc (pos v3) cln))))
83 (% pf_c3 (holds (clc (pos v2) (clc (pos v3) (clc (neg v4) cln))))
84 (% pf_c4 (holds (clc (neg v2) (clc (neg v3) (clc (pos v4) cln))))
89 (: (holds cln)
[all …]
H A Dsat.plf90 (declare holds (! c clause type))
93 (! u1 (holds c1)
94 (! u2 (holds c2)
100 (! u1 (holds c1)
101 (! u2 (holds c2)
110 (! u1 (holds c1)
112 (! u2 (! x (holds c2) (holds c3))
118 (! u (holds c)
119 (! u2 (! v (holds c) (holds c2))
120 (holds c2))))))
[all …]
/dports/math/clingo/clingo-5.5.1/examples/clingo/planning/
H A Dencoding.lp18 holds(F,0) :- holds_initially(F).
23 :- occurs(A,t), executable(A,L), not holds(F,t-1), complement(F,L,M).
26 holds(L,t) :- occurs(A,t), effect(A,L,N), holds(C,t-1) : condition(A,C,N).
27 holds(L,t) :- holds(L,t-1), complement(L,M), not holds(M,t).
28 :- contradict(F), complement(F,L,M), holds((L;M),t).
33 holds(F,t) :- caused(L,t), complement(F,L,M).
34 holds(F,t) :- holds(F,t-1), complement(F,L,M), not caused(M,t).
41 not holds(F,t) : goal_or(N,L), complement(F,L,M);
42 holds(F,t) : goal_or(N,M), complement(F,L,M);
44 :- goal(L), not holds(F,t), complement(F,L,M), vol(t).
[all …]
/dports/security/gnutls/gnutls-3.6.16/doc/functions/
H A Dgnutls_x509_privkey_import_rsa_raw28 @var{m}: holds the modulus
10 @var{e}: holds the public exponent
12 @var{d}: holds the private exponent
14 @var{p}: holds the first prime (p)
16 @var{q}: holds the second prime (q)
18 @var{u}: holds the coefficient (optional)
20 @var{e1}: holds e1 = d mod (p-1) (optional)
22 @var{e2}: holds e2 = d mod (q-1) (optional)
H A Dgnutls_privkey_import_rsa_raw8 @var{m}: holds the modulus
10 @var{e}: holds the public exponent
12 @var{d}: holds the private exponent
14 @var{p}: holds the first prime (p)
16 @var{q}: holds the second prime (q)
18 @var{u}: holds the coefficient (optional)
20 @var{e1}: holds e1 = d mod (p-1) (optional)
22 @var{e2}: holds e2 = d mod (q-1) (optional)
H A Dgnutls_x509_privkey_import_rsa_raw8 @var{m}: holds the modulus
10 @var{e}: holds the public exponent
12 @var{d}: holds the private exponent
14 @var{p}: holds the first prime (p)
16 @var{q}: holds the second prime (q)
18 @var{u}: holds the coefficient
H A Dgnutls_privkey_import_gost_raw8 @var{curve}: holds the curve
10 @var{digest}: holds the digest
12 @var{paramset}: holds the GOST parameter set ID
14 @var{x}: holds the x-coordinate
16 @var{y}: holds the y-coordinate
18 @var{k}: holds the k (private key)
/dports/math/clingo/clingo-5.5.1/app/clingo/tests/lua/
H A Dconformant2.lp61 holds(F,0) :- initially(L), complement(F,L,M).
65 not holds(F,0) : initially_oneof(N,M,B), complement(F,L,M);
79 holds(L,t) :- occurs(A,t), effect(A,L,N), holds(C,t-1) : condition(A,C,N).
80 holds(L,t) :- holds(L,t-1), complement(L,M), not holds(M,t).
81 :- contradict(F), complement(F,L,M), holds((L),t), holds((M),t).
86 holds(F,t) :- caused(L,t), complement(F,L,M).
87 holds(F,t) :- holds(F,t-1), complement(F,L,M), not caused(M,t).
94 not holds(F,t) : goal_or(N,L,_), complement(F,L,M);
95 holds(F,t) : goal_or(N,M,_), complement(F,L,M);
97 :- goal(L), not holds(F,t), complement(F,L,M), vol(t).
[all …]
/dports/net/traefik/traefik-2.6.1/docs/content/reference/dynamic-configuration/
H A Dtraefik.containo.us_middlewares.yaml37 description: MiddlewareSpec holds the Middleware configuration.
40 description: AddPrefix holds the AddPrefix configuration.
76 description: Chain holds a chain of middlewares.
98 description: Compress holds the compress configuration.
135 description: ErrorPage holds the custom error page configuration.
174 description: Sticky holds the sticky configuration.
236 description: Headers holds the custom header configuration.
378 description: IPWhiteList holds the ip white list configuration.
518 description: ReplacePath holds the ReplacePath configuration.
532 description: Retry holds the retry configuration.
[all …]
/dports/games/openjk/OpenJK-07675e2/codeJK2/cgame/
H A Dcg_text.cpp223 const char *s, *holds; in CG_CaptionText() local
230 holds = strrchr(str,'/'); in CG_CaptionText()
231 if (!holds) in CG_CaptionText()
280 holds = s; in CG_CaptionText()
305 holds++; in CG_CaptionText()
324 holds = s; in CG_CaptionText()
475 const char *s,*holds; in CG_ScrollText() local
517 holds = s; in CG_ScrollText()
534 holds++; in CG_ScrollText()
565 holds = s; in CG_ScrollText()
[all …]
/dports/irc/anope/anope-2.0.9/src/
H A Daccount.cpp33 holds.insert(m); in Hold()
38 holds.erase(m); in Release()
39 if (holds.empty() && dispatched) in Release()
58 if (holds.empty()) in Dispatch()
75 ir->holds.erase(m); in ModuleUnload()
76 if (ir->holds.empty() && ir->dispatched) in ModuleUnload()
/dports/editors/emacs/emacs-27.2/
H A DREADME5 This directory tree holds version 27.2 of GNU Emacs, the extensible,
64 'src' holds the C code for Emacs (the Emacs Lisp interpreter and
67 'lisp' holds the Emacs Lisp code for Emacs (most everything else).
68 'leim' holds the original source files for the generated files
75 'lwlib' holds the sources of the Lucid Widget Library used on X.
81 'info' holds the Info documentation tree for Emacs.
89 'msdos' holds configuration files for compiling Emacs under MS-DOS.
90 'nextstep' holds instructions and some other files for compiling the
93 'test' holds tests for various aspects of Emacs's functionality.
94 'modules' holds the modhelp.py helper script.
[all …]
/dports/editors/emacs-devel/emacs-4d1968b/
H A DREADME5 This directory tree holds version 29.0.50 of GNU Emacs, the extensible,
64 'src' holds the C code for Emacs (the Emacs Lisp interpreter and
67 'lisp' holds the Emacs Lisp code for Emacs (most everything else).
68 'leim' holds the original source files for the generated files
75 'lwlib' holds the sources of the Lucid Widget Library used on X.
81 'info' holds the Info documentation tree for Emacs.
89 'msdos' holds configuration files for compiling Emacs under MS-DOS.
90 'nextstep' holds instructions and some other files for compiling the
93 'test' holds tests for various aspects of Emacs's functionality.
94 'modules' holds the modhelp.py helper script.
[all …]
/dports/devel/p5-Test-LectroTest/Test-LectroTest-0.5001/t/
H A Dcompat.t29 holds( $true, trials => 5 );
30 holds( $cmp_ok );
34 holds( Property {
42 ok( ! capture( sub { holds( $false ) } ),
45 ok( ! capture( sub { holds( $cmp_ok_fail ) } ),
/dports/games/openjk/OpenJK-07675e2/code/cgame/
H A Dcg_text.cpp226 const char *s, *holds; in CG_CaptionText() local
233 holds = strrchr(str,'/'); in CG_CaptionText()
234 if (!holds) in CG_CaptionText()
282 holds = s; in CG_CaptionText()
309 holds++; in CG_CaptionText()
328 holds = s; in CG_CaptionText()
479 const char *s,*holds; in CG_ScrollText() local
521 holds = s; in CG_ScrollText()
540 holds++; in CG_ScrollText()
571 holds = s; in CG_ScrollText()
[all …]
/dports/security/shishi/shishi-1.0.2/doc/texi/
H A Dtgs.c.texi6 @var{tgs}: holds pointer to newly allocate Shishi_tgs structure.
16 @var{tgs}: structure that holds information about AS exchange
26 @var{tgs}: structure that holds information about TGS exchange
37 @var{tgs}: structure that holds information about TGS exchange
47 @var{tgs}: structure that holds information about TGS exchange
59 @var{tgs}: structure that holds information about TGS exchange
70 @var{tgs}: structure that holds information about TGS exchange
80 @var{tgs}: structure that holds information about TGS exchange
95 @var{tgs}: structure that holds information about TGS exchange
110 @var{tgs}: structure that holds information about TGS exchange
[all …]
H A Das.c.texi6 @var{as}: holds pointer to newly allocate Shishi_as structure.
16 @var{as}: structure that holds information about AS exchange
26 @var{as}: structure that holds information about AS exchange
37 @var{as}: structure that holds information about AS exchange
47 @var{as}: structure that holds information about AS exchange
57 @var{as}: structure that holds information about AS exchange
72 @var{as}: structure that holds information about AS exchange
87 @var{as}: structure that holds information about AS exchange
98 @var{as}: structure that holds information about AS exchange
114 @var{as}: structure that holds information about AS exchange
[all …]
/dports/math/clingo/clingo-5.5.1/examples/reify/optimization/
H A Dexample2.lp22 holds(F,0) :- initially(L), complement(F,L,M).
26 not holds(F,0) : initially_oneof(N,M,B), complement(F,L,M);
27 holds(F,0) : initially_oneof(N,L,B), complement(F,L,M).
38 holds(L,T) :- occurs(A,T), effect(A,L,N), holds(C,T-1) : condition(A,C,N).
39 holds(L,T) :- time(T), holds(L,T-1), complement(L,M), not holds(M,T).
40 fail :- contradict(F), complement(F,L,M), holds(L,T), holds(M,T).
44 not holds(F',T-1) : condition(A,M',N), complement(F',L',M');
46 holds(F,T) :- caused(L,T), complement(F,L,M).
47 holds(F,T) :- time(T), holds(F,T-1), complement(F,L,M), not caused(M,T).
52 fail :- goal(L), not holds(F,horizon), complement(F,L,M).
[all …]
/dports/www/owncloud/owncloud/apps/files_external/3rdparty/google/apiclient-services/src/Google/Service/Vault/
H A DListHoldsResponse.php28 public function setHolds($holds) argument
30 $this->holds = $holds;
37 return $this->holds;

12345678910>>...302