Home
last modified time | relevance | path

Searched refs:Derivation (Results 1 – 25 of 992) sorted by relevance

12345678910>>...40

/dports/www/wsdlpull/wsdlpull-1.24/src/schemaparser/
H A DXSDType.h89 Schema::Derivation getBaseDerivation()const;
108 void setBaseType(int id , Schema::Derivation type = Schema::Restriction);
119 Schema::Derivation baseDerivation_;
191 Schema::Derivation
207 Schema::Derivation type) in setBaseType()
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/
H A DGeneralIntegrationRules.m12 (*Derivation: Piecewise constant extraction*)
416 (*Derivation: Algebraic expansion*)
439 (*Derivation: Algebraic expansion*)
1348 (*Derivation: Algebraic expansion*)
1364 (*Derivation: Algebraic expansion*)
1381 (*Derivation: Algebraic expansion*)
1401 (*Derivation: Algebraic expansion*)
1481 (*Derivation: Algebraic expansion*)
1505 (*Derivation: Algebraic expansion*)
1520 (*Derivation: Algebraic expansion*)
[all …]
/dports/math/cvc3/cvc3-2.4.1/src/sat/
H A Dminisat_derivation.cpp44 Derivation::~Derivation() { in ~Derivation()
62 int Derivation::computeRootReason(Lit implied, Solver* solver) { in computeRootReason()
115 void Derivation::finish(Clause* clause, Solver* solver) { in finish()
148 void Derivation::checkDerivation(Clause* clause) { in checkDerivation()
253 SAT::SatProof* Derivation::createProof() { in createProof()
260 SAT::SatProof* Derivation::createProof(Clause* clause) { in createProof()
336 void Derivation::printDerivation() { in printDerivation()
343 void Derivation::printDerivation(Clause* clause) { in printDerivation()
402 void Derivation::push(int clauseID) { in push()
406 void Derivation::pop(int clauseID) { in pop()
H A Dminisat_derivation.h87 class Derivation {
118 Derivation() : d_emptyClause(NULL) {}; in Derivation() function
119 ~Derivation();
/dports/sysutils/nix/nix-2.3.10/src/libstore/
H A Dderivations.hh69 struct Derivation : BasicDerivation struct
83 const Derivation & drv, const string & name, RepairFlag repair = NoRepair);
86 Derivation readDerivation(const Path & drvPath);
92 Hash hashDerivationModulo(Store & store, Derivation drv);
H A Dderivations.cc46 const Derivation & drv, const string & name, RepairFlag repair) in writeDerivation()
124 static Derivation parseDerivation(const string & s) in parseDerivation()
126 Derivation drv; in parseDerivation()
174 Derivation readDerivation(const Path & drvPath) in readDerivation()
184 Derivation Store::derivationFromPath(const Path & drvPath) in derivationFromPath()
223 string Derivation::unparse() const in unparse()
307 Hash hashDerivationModulo(Store & store, Derivation drv) in hashDerivationModulo()
325 Derivation drv2 = readDerivation(store.toRealPath(i.first)); in hashDerivationModulo()
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/SpecialFunctions/
H A DGammaFunctions.m8 (*Derivation: Integration by parts*)
39 (*Derivation: Integration by parts*)
66 (*Derivation: Integration by parts*)
93 (*Derivation: Integration by parts*)
123 (*Derivation: Primitive rule*)
157 (*Derivation: Integration by parts*)
188 (*Derivation: Primitive rule*)
222 (*Derivation: Integration by parts*)
249 (*Derivation: Inverted integration by parts*)
280 (*Derivation: Primitive rule*)
[all …]
H A DErrorFunctions.m12 (*Derivation: Integration by parts*)
38 (*Derivation: Integration by parts*)
69 (*Derivation: Integration by parts*)
96 (*Derivation: Integration by parts*)
185 (*Derivation: Integration by parts*)
245 (*Derivation: Integration by parts*)
271 (*Derivation: Integration by parts*)
302 (*Derivation: Integration by parts*)
329 (*Derivation: Integration by parts*)
418 (*Derivation: Integration by parts*)
[all …]
H A DPolylogarithmFunctions.m8 (*Derivation: Integration by parts*)
35 (*Derivation: Inverted integration by parts*)
66 (*Derivation: Primitive rule*)
96 (*Derivation: Integration by parts*)
123 (*Derivation: Inverted integration by parts*)
150 (*Derivation: Integration by substitution*)
180 (*Derivation: Integration by parts*)
213 (*Derivation: Integration by parts*)
245 (*Derivation: Primitive rule*)
280 (*Derivation: Integration by parts*)
[all …]
H A DZetaFunctions.m8 (*Derivation: Algebraic simplification*)
38 (*Derivation: Primitive rule*)
72 (*Derivation: Algebraic simplification*)
102 (*Derivation: Integration by parts*)
129 (*Derivation: Inverted integration by parts*)
H A DExponentialIntegralFunctions.m38 (*Derivation: Integration by parts*)
66 (*Derivation: Inverted integration by parts*)
98 (*Derivation: Integration by parts*)
124 (*Derivation: Integration by parts*)
155 (*Derivation: Integration by parts*)
182 (*Derivation: Integration by parts*)
209 (*Derivation: Iterated integration by parts*)
239 (*Derivation: Inverted integration by parts*)
273 (*Derivation: Integration by parts*)
304 (*Derivation: Integration by parts*)
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/InverseHyperbolicFunctions/
H A DInverseHyperbolicCosecantFunctions.m12 (*Derivation: Integration by parts*)
42 (*Derivation: Integration by substitution*)
72 (*Derivation: Integration by parts*)
114 (*Derivation: Algebraic simplification*)
148 (*Derivation: Integration by parts*)
180 (*Derivation: Algebraic simplification*)
210 (*Derivation: Algebraic simplification*)
H A DInverseHyperbolicTangentFunctions.m12 (*Derivation: Integration by parts*)
38 (*Derivation: Integration by parts*)
125 (*Derivation: Integration by parts*)
152 (*Derivation: Integration by parts*)
239 (*Derivation: Integration by parts*)
270 (*Derivation: Integration by parts*)
297 (*Derivation: Integration by parts*)
446 (*Derivation: Algebraic expansion*)
477 (*Derivation: Algebraic expansion*)
508 (*Derivation: Algebraic expansion*)
[all …]
H A DInverseHyperbolicCotangentFunctions.m12 (*Derivation: Integration by parts*)
38 (*Derivation: Integration by parts*)
125 (*Derivation: Integration by parts*)
152 (*Derivation: Integration by parts*)
239 (*Derivation: Integration by parts*)
270 (*Derivation: Integration by parts*)
297 (*Derivation: Integration by parts*)
446 (*Derivation: Algebraic expansion*)
477 (*Derivation: Algebraic expansion*)
508 (*Derivation: Algebraic expansion*)
[all …]
H A DInverseHyperbolicSecantFunctions.m12 (*Derivation: Integration by parts*)
42 (*Derivation: Integration by substitution*)
72 (*Derivation: Integration by parts*)
129 (*Derivation: Algebraic simplification*)
163 (*Derivation: Integration by parts*)
195 (*Derivation: Algebraic simplification*)
233 (*Derivation: Algebraic simplification*)
/dports/chinese/librime/librime-1.7.3/src/rime/algo/
H A Dcalculus.h73 class Derivation : public Transformation {
80 class Fuzzing : public Derivation {
87 class Abbreviation : public Derivation {
/dports/www/kdsoap/kdsoap-1.9.0/kdwsdl2cpp/schema/
H A Dcomplextype.h49 } Derivation; typedef
72 void setBaseDerivation(Derivation derivation);
73 Derivation baseDerivation() const;
/dports/security/vaultwarden/vaultwarden-1.23.1/cargo-crates/openssl-src-300.0.2+3.0.0/openssl/doc/man7/
H A DEVP_KEYEXCH-ECDH.pod36 Sets or gets the Key Derivation Function type to apply within the associated key
41 Sets or gets the Digest algorithm to be used as part of the Key Derivation Function
47 Digest algorithm for the Key Derivation Function associated with the given key
52 Sets or gets the desired size for the output of the chosen Key Derivation Function
58 Sets the User Key Material to be used as part of the selected Key Derivation
64 Key Derivation Function associated with the given key exchange ctx. Providers
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/InverseTrigFunctions/
H A DInverseSecantFunctions.m12 (*Derivation: Integration by parts*)
43 (*Derivation: Integration by substitution*)
73 (*Derivation: Integration by parts*)
104 (*Derivation: Integration by parts*)
146 (*Derivation: Algebraic simplification*)
180 (*Derivation: Integration by parts*)
H A DInverseCosecantFunctions.m12 (*Derivation: Integration by parts*)
43 (*Derivation: Integration by substitution*)
73 (*Derivation: Integration by parts*)
104 (*Derivation: Integration by parts*)
146 (*Derivation: Algebraic simplification*)
180 (*Derivation: Integration by parts*)
/dports/security/arti/arti-9d0ede26801cdb182daa85c3eb5f0058dc178eb6/cargo-crates/openssl-src-300.0.2+3.0.0/openssl/doc/man7/
H A DEVP_KEYEXCH-ECDH.pod36 Sets or gets the Key Derivation Function type to apply within the associated key
41 Sets or gets the Digest algorithm to be used as part of the Key Derivation Function
47 Digest algorithm for the Key Derivation Function associated with the given key
52 Sets or gets the desired size for the output of the chosen Key Derivation Function
58 Sets the User Key Material to be used as part of the selected Key Derivation
64 Key Derivation Function associated with the given key exchange ctx. Providers
/dports/security/acmed/acmed-0.18.0/cargo-crates/openssl-src-300.0.2+3.0.0/openssl/doc/man7/
H A DEVP_KEYEXCH-ECDH.pod36 Sets or gets the Key Derivation Function type to apply within the associated key
41 Sets or gets the Digest algorithm to be used as part of the Key Derivation Function
47 Digest algorithm for the Key Derivation Function associated with the given key
52 Sets or gets the desired size for the output of the chosen Key Derivation Function
58 Sets the User Key Material to be used as part of the selected Key Derivation
64 Key Derivation Function associated with the given key exchange ctx. Providers
/dports/textproc/mdbook-linkcheck/mdbook-linkcheck-0.7.6/cargo-crates/openssl-src-300.0.2+3.0.0/openssl/doc/man7/
H A DEVP_KEYEXCH-ECDH.pod36 Sets or gets the Key Derivation Function type to apply within the associated key
41 Sets or gets the Digest algorithm to be used as part of the Key Derivation Function
47 Digest algorithm for the Key Derivation Function associated with the given key
52 Sets or gets the desired size for the output of the chosen Key Derivation Function
58 Sets the User Key Material to be used as part of the selected Key Derivation
64 Key Derivation Function associated with the given key exchange ctx. Providers
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/RationalFunctions/
H A DRationalFunctionsOfLinears.m34 (*Derivation: Power rule for integration*)
64 (*Derivation: Constant extraction*)
94 (*Derivation: Constant extraction*)
129 (*Derivation: Constant extraction*)
179 (*Derivation: Constant extraction*)
493 (*Derivation: Algebraic expansion*)
629 (*Derivation: Algebraic simplification*)
693 (*Derivation: Integration by parts*)
759 (*Derivation: Integration by parts*)
825 (*Derivation: Algebraic simplification*)
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/rubi-rules/HyperbolicFunctions/
H A DHyperbolicSubstitution.m9 (*Derivation: Integration by substitution*)
40 (*Derivation: Integration by substitution*)
76 (*Derivation: Integration by substitution*)
107 (*Derivation: Integration by substitution*)
143 (*Derivation: Integration by substitution*)
174 (*Derivation: Integration by substitution*)
205 (*Derivation: Integration by substitution*)
251 (*Derivation: Integration by substitution*)
282 (*Derivation: Integration by substitution*)
313 (*Derivation: Integration by substitution*)
[all …]

12345678910>>...40