| /dports/lang/racket/racket-8.3/share/pkgs/redex-pict-lib/redex/private/ |
| H A D | derivations-layout.rkt | 10 [fill-derivation-container (-> derivation-container/c derivation? void?)]
11 [layout-derivation (-> derivation-container/c void?)]))
32 (define (fill-derivation-container derivation-container derivation)
34 (let loop ([derivation derivation])
41 (derivation-term derivation)
42 (derivation-name derivation)
44 (send derivation-container set-root root-derivation-element))
64 (match-define (cons derivation-width derivation-height)
93 (define (resize-derivation derivation-container)
118 (dict-set! table derivation-element (cons derivation-width derivation-height))
[all …]
|
| H A D | derivation-pict.rkt | 7 (provide derivation->pict)
9 (define derivation-element%
51 (new derivation-element% [term term] [label label] [children children]))
72 (define (derivation->pict L derivation)
75 (fill-derivation-container container derivation))
76 (layout-derivation container)
|
| /dports/math/eprover/eprover-E-2.0/CLAUSES/ |
| H A D | ccl_derivation.c | 570 if(!form->derivation) in WFormulaPushDerivation()
608 if(clause->derivation) in ClauseIsEvalGC()
632 if(clause->derivation) in ClauseIsDummyQuote()
659 if(clause->derivation) in ClauseIsDummyFOFQuote()
723 if(form->derivation) in WFormulaDerivFindFirst()
764 if(derivation) in DerivStackExtractParents()
851 if(derivation) in DerivStackExtractOptParents()
934 if(derivation) in DerivStackCountSearchInferences()
1027 if(derivation) in DerivationStackPCLPrint()
1137 if(derivation) in DerivationStackTSTPPrint()
[all …]
|
| H A D | ccl_derivation.h | 214 long DerivStackExtractParents(PStack_p derivation,
218 long DerivStackExtractOptParents(PStack_p derivation,
224 void DerivStackCountSearchInferences(PStack_p derivation,
234 ((d)->clause?(d)->clause->derivation:(d)->formula->derivation)
239 void DerivationStackPCLPrint(FILE* out, Sig_p sig, PStack_p derivation);
259 long DerivationExtract(Derivation_p derivation, PStack_p root_clauses);
260 long DerivationMarkProofSteps(Derivation_p derivation);
261 long DerivationTopoSort(Derivation_p derivation);
262 void DerivationRenumber(Derivation_p derivation);
268 void DerivationPrint(FILE* out, Derivation_p derivation, char* frame);
[all …]
|
| /dports/science/py-scimath/scimath-4.2.0/scimath/units/ |
| H A D | unit.py | 34 self.derivation = derivation
49 self.derivation == other.derivation and \
61 self.derivation != other.derivation or\
65 if not self.derivation == other.derivation:
71 if not self.derivation == other.derivation:
81 derivation = tuple(
82 map(operator.add, self.derivation, other.derivation))
97 derivation = tuple(
98 map(operator.sub, self.derivation, other.derivation))
110 derivation = tuple(map(operator.mul, [other] * 7, self.derivation))
[all …]
|
| H A D | smart_unit.py | 36 def __init__(self, factor, derivation, offset=0.0): argument
40 unit.__init__(self, factor, derivation)
65 def __init__(self, label, value, derivation, offset, valid): argument
69 self.derivation = derivation
94 derivation = self._strDerivation()
95 if not derivation:
98 return st + "*" + derivation
125 if unit.derivation == dimensionless.derivation:
|
| /dports/devel/bison/bison-3.7.6/src/ |
| H A D | derivation.h | 34 typedef struct derivation derivation; typedef
42 derivation_list_next (gl_list_iterator_t *it, derivation **d) in derivation_list_next()
47 *d = (derivation *) p; in derivation_list_next()
53 void derivation_list_append (derivation_list dl, derivation *d);
54 void derivation_list_prepend (derivation_list dl, derivation *d);
59 static inline derivation *derivation_new_leaf (symbol_number sym) in derivation_new_leaf()
65 size_t derivation_size (const derivation *deriv);
67 void derivation_print_leaves (const derivation *deriv, FILE *out);
68 void derivation_free (derivation *deriv);
69 void derivation_retain (derivation *deriv);
[all …]
|
| H A D | derivation.c | 32 struct derivation struct
45 derivation *
67 derivation *d = NULL; in derivation_list_free()
76 derivation *
88 derivation_retain (derivation *d) in derivation_retain()
94 derivation_free (derivation *d) in derivation_free()
103 derivation *deriv = (derivation *) gl_list_get_at (free_queue, 0); in derivation_free()
129 derivation *child = NULL; in derivation_size()
147 derivation *child; in derivation_depth()
225 derivation *child; in derivation_width()
[all …]
|
| /dports/java/bouncycastle15/crypto-169/prov/src/main/java/org/bouncycastle/jce/spec/ |
| H A D | IESParameterSpec.java | 13 private byte[] derivation; field in IESParameterSpec
29 byte[] derivation, in IESParameterSpec() argument
33 this(derivation, encoding, macKeySize, -1, null, false); in IESParameterSpec()
46 byte[] derivation, in IESParameterSpec() argument
52 this(derivation, encoding, macKeySize, cipherKeySize, nonce, false); in IESParameterSpec()
66 byte[] derivation, in IESParameterSpec() argument
73 if (derivation != null) in IESParameterSpec()
75 this.derivation = new byte[derivation.length]; in IESParameterSpec()
76 System.arraycopy(derivation, 0, this.derivation, 0, derivation.length); in IESParameterSpec()
80 this.derivation = null; in IESParameterSpec()
[all …]
|
| /dports/devel/bison/bison-3.7.6/tests/ |
| H A D | counterexample.at | 59 Shift derivation
63 Reduce derivation
99 Shift derivation
105 Reduce derivation
111 Shift derivation
119 Reduce derivation
161 Shift derivation
165 Reduce derivation
172 Shift derivation
224 Shift derivation
[all …]
|
| /dports/japanese/skk-tools/skktools-1.3.3/filters/ |
| H A D | conjugation.rb | 181 derivation = $1
183 derivation.gsub!(/\([^)]*\)/, '')
185 derivation.gsub!(/[()]/, '')
189 suffix = derivation.gsub!(/</, '')
190 numerative = derivation.gsub!(/#/, '')
192 if derivation == "a-z"
193 derivation = all_strings
194 elsif derivation == "*"
212 if derivation.gsub!(/��/, '')
216 derivation += okuri if !derivation[okuri]
[all …]
|
| /dports/net-p2p/vuze/vuze-5.7.4.0_2/org/gudy/bouncycastle/jce/spec/ |
| H A D | IESParameterSpec.java | 11 private byte[] derivation; field in IESParameterSpec
16 byte[] derivation, in IESParameterSpec() argument
20 this.derivation = new byte[derivation.length]; in IESParameterSpec()
21 System.arraycopy(derivation, 0, this.derivation, 0, derivation.length); in IESParameterSpec()
34 return derivation; in getDerivationV()
|
| /dports/print/a2ps/a2ps-4.13/lib/ |
| H A D | output.c | 56 struct derivation struct
76 static struct derivation * argument
79 struct derivation * res = XMALLOC (struct derivation, 1); in new_derivation()
85 derivation_self_print (struct derivation * derivation, FILE * stream) in derivation_self_print() argument
88 switch (derivation->type) in derivation_self_print()
231 struct derivation *tmp; in output_delayed_routine()
247 struct derivation *tmp; in output_delayed_chunk()
265 struct derivation *tmp; in output_delayed_int()
283 struct derivation *tmp; in output_delayed_string()
549 underivation (FILE * stream, const struct derivation * derivation) in underivation() argument
[all …]
|
| /dports/graphics/blender/blender-2.91.0/release/scripts/templates_osl/ |
| H A D | lyapunov_texture.osl | 53 float derivation = 0.0;
75 derivation = 2.0 *p1 *sin(x + a) * cos(x + a);
76 if (derivation != 0.0) { index += log(fabs(derivation)); iter++; }
79 derivation = 2.0 *p1 *sin(x + b) * cos(x + b);
80 if (derivation != 0.0) { index += log(fabs(derivation)); iter++; }
83 derivation = 2.0 *p1 *sin(x + c) * cos(x + c);
84 if (derivation != 0.0) { index += log(fabs(derivation)); iter++; }
94 derivation = 2.0 *p1 *sin(x + a) * cos(x + a);
95 if (derivation != 0.0) { index += log(fabs(derivation)); iter++; }
99 if (derivation != 0.0) { index += log(fabs(derivation)); iter++; }
[all …]
|
| /dports/lang/racket/racket-8.3/share/pkgs/redex-gui-lib/redex/private/ |
| H A D | show-derivations.rkt | 13 derivation/ps)
15 (define (derivation/ps derivation filename
21 (show-derivations (list derivation)
32 #:init-derivation [init-derivation 0])
52 (define current-derivation #f)
57 (define (show-derivation i)
58 (set! current-derivation i)
68 (layout-derivation pb)
84 (show-derivation (modulo (+ current-derivation dir)
121 (show-derivation 0)
[all …]
|
| /dports/science/py-scimath/scimath-4.2.0/scimath/physical_quantities/ |
| H A D | units.py | 189 derivation = Dict variable in MultiplicativeUnit
207 return DerivedUnit(derivation=dict_add(self.derivation,
208 other.derivation),
218 return DerivedUnit(derivation=dict_sub(self.derivation,
219 other.derivation),
226 return DerivedUnit(derivation=dict_mul(self.derivation,
227 other.derivation),
252 for key, power in self.derivation.items()),
258 for key, power in self.derivation.items()))
263 for key, power in self.derivation.items():
|
| /dports/net-p2p/vuze/vuze-5.7.4.0_2/org/gudy/bouncycastle/crypto/params/ |
| H A D | IESParameters.java | 11 private byte[] derivation; field in IESParameters
21 byte[] derivation, in IESParameters() argument
25 this.derivation = derivation; in IESParameters()
32 return derivation; in getDerivationV()
|
| /dports/java/bouncycastle15/crypto-169/core/src/main/java/org/bouncycastle/crypto/params/ |
| H A D | IESParameters.java | 12 private byte[] derivation; field in IESParameters
22 byte[] derivation, in IESParameters() argument
26 this.derivation = Arrays.clone(derivation); in IESParameters()
33 return Arrays.clone(derivation); in getDerivationV()
|
| /dports/sysutils/nix/nix-2.3.10/tests/lang/ |
| H A D | eval-okay-eq-derivations.nix | 3 drvA1 = derivation { name = "a"; builder = "/foo"; system = "i686-linux"; };
4 drvA2 = derivation { name = "a"; builder = "/foo"; system = "i686-linux"; };
5 drvA3 = derivation { name = "a"; builder = "/foo"; system = "i686-linux"; } // { dummy = 1; };
7 drvC1 = derivation { name = "c"; builder = "/foo"; system = "i686-linux"; };
8 drvC2 = derivation { name = "c"; builder = "/bar"; system = "i686-linux"; };
|
| /dports/math/gap/gap-4.11.0/pkg/CAP-2019.06.07/gap/ |
| H A D | Derivations.gd | 38 #! A derivation object describes a derived method.
44 #! Creates a new derivation object.
46 #! identify this derivation, and is useful only for debugging
86 #! of the operation implemented by the derivation.
91 #! Extra weight for the derivation.
116 #! by the derivation <A>d</A>
122 #! derivation <A>d</A>
144 #! implemented by this derivation.
188 #! Add a derivation to a derivation graph.
276 #! would be if we had used that derivation.
[all …]
|
| /dports/editors/texstudio/texstudio-4.1.2/completion/ |
| H A D | virginialake.cwl | 33 \vlderivation{derivation}
41 \vlde{left label}{right label}{conclusion}{premiss (derivation)}
42 \vltr{label}{conclusion}{left premiss (derivation)}{middle premiss (derivation)}{right premiss (der…
43 \vltr{label}{conclusion}{left premiss (derivation)}{middle premiss (derivation)}{right premiss (der…
44 \vlin{left label}{right label}{conclusion}{premiss (derivation)}
45 \vliin{left label}{right label}{conclusion}{left premiss (derivation)}{right premiss (derivation)}
46 …el}{right label}{conclusion}{left premiss (derivation)}{middle premiss (derivation)}{right premiss…
|
| /dports/net/kea/kea-2.0.1/src/lib/asiolink/ |
| H A D | asiolink.dox | 34 - TCP acceptor: TCP derivation of I/O acceptor.
36 - TCP endpoint: TCP derivation of I/O endpoint.
38 - TCP socket: TCP derivation of I/O socket.
40 - TLS acceptor: TLS derivation of TCP acceptor.
42 - TLS socket: TLS derivation of I/O socket embedding a TCP socket.
44 - UDP endpoint: UDP derivation of I/O endpoint.
46 - UDP socket: UDP derivation of I/O socket.
48 - Unix domain socket: Unix socket (AF_LOCAL) derivation of I/O socket.
50 - Unix domain acceptor: Unix socket (AF_LOCAL) derivation of I/O acceptor.
52 - Unix domain endpoint: Unix socket (AF_LOCAL) derivation of I/O endpoint.
|
| /dports/emulators/qemu60/qemu-6.0.0/roms/edk2/CryptoPkg/Library/OpensslLib/openssl/doc/man3/ |
| H A D | EVP_PKEY_CTX_ctrl.pod | 311 =head2 DH key derivation function parameters
339 The EVP_PKEY_CTX_set_dh_kdf_md() macro sets the key derivation function
344 message digest for B<ctx> used for DH key derivation.
347 output length to B<len> for DH key derivation.
350 output length for B<ctx> used for DH key derivation.
388 derivation is enabled and 0 otherwise.
390 =head2 ECDH key derivation function parameters
399 type for B<ctx> used for ECDH key derivation. Possible values are
407 message digest for B<ctx> used for ECDH key derivation.
410 output length to B<len> for ECDH key derivation.
[all …]
|
| /dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/openssl-src-111.16.0+1.1.1l/openssl/doc/man3/ |
| H A D | EVP_PKEY_CTX_ctrl.pod | 311 =head2 DH key derivation function parameters
339 The EVP_PKEY_CTX_set_dh_kdf_md() macro sets the key derivation function
344 message digest for B<ctx> used for DH key derivation.
347 output length to B<len> for DH key derivation.
350 output length for B<ctx> used for DH key derivation.
388 derivation is enabled and 0 otherwise.
390 =head2 ECDH key derivation function parameters
399 type for B<ctx> used for ECDH key derivation. Possible values are
407 message digest for B<ctx> used for ECDH key derivation.
410 output length to B<len> for ECDH key derivation.
[all …]
|
| /dports/sysutils/uefi-edk2-bhyve/edk2-edk2-stable202102/CryptoPkg/Library/OpensslLib/openssl/doc/man3/ |
| H A D | EVP_PKEY_CTX_ctrl.pod | 311 =head2 DH key derivation function parameters
339 The EVP_PKEY_CTX_set_dh_kdf_md() macro sets the key derivation function
344 message digest for B<ctx> used for DH key derivation.
347 output length to B<len> for DH key derivation.
350 output length for B<ctx> used for DH key derivation.
388 derivation is enabled and 0 otherwise.
390 =head2 ECDH key derivation function parameters
399 type for B<ctx> used for ECDH key derivation. Possible values are
407 message digest for B<ctx> used for ECDH key derivation.
410 output length to B<len> for ECDH key derivation.
[all …]
|