/dports/math/eprover/eprover-E-2.0/EXTERNAL/ |
H A D | PLA012-1+rm_eq_rstfp.csscpa | 2 [++ 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 D | base.lp | 22 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 D | test.rkt | 13 (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 D | list-machine.rkt | 68 (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 D | example.lp | 2 { 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 D | Video.qml | 172 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 D | er_test.plf | 33 (% 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 D | sat.plf | 90 (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 D | encoding.lp | 18 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 D | gnutls_x509_privkey_import_rsa_raw2 | 8 @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 D | gnutls_privkey_import_rsa_raw | 8 @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 D | gnutls_x509_privkey_import_rsa_raw | 8 @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 D | gnutls_privkey_import_gost_raw | 8 @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 D | conformant2.lp | 61 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 D | traefik.containo.us_middlewares.yaml | 37 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 D | cg_text.cpp | 223 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 D | account.cpp | 33 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 D | README | 5 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 D | README | 5 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 D | compat.t | 29 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 D | cg_text.cpp | 226 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 D | tgs.c.texi | 6 @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 D | as.c.texi | 6 @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 D | example2.lp | 22 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 D | ListHoldsResponse.php | 28 public function setHolds($holds) argument 30 $this->holds = $holds; 37 return $this->holds;
|