/dports/www/wsdlpull/wsdlpull-1.24/src/schemaparser/ |
H A D | XSDType.h | 89 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 D | GeneralIntegrationRules.m | 12 (*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 D | minisat_derivation.cpp | 44 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 D | minisat_derivation.h | 87 class Derivation { 118 Derivation() : d_emptyClause(NULL) {}; in Derivation() function 119 ~Derivation();
|
/dports/sysutils/nix/nix-2.3.10/src/libstore/ |
H A D | derivations.hh | 69 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 D | derivations.cc | 46 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 D | GammaFunctions.m | 8 (*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 D | ErrorFunctions.m | 12 (*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 D | PolylogarithmFunctions.m | 8 (*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 D | ZetaFunctions.m | 8 (*Derivation: Algebraic simplification*) 38 (*Derivation: Primitive rule*) 72 (*Derivation: Algebraic simplification*) 102 (*Derivation: Integration by parts*) 129 (*Derivation: Inverted integration by parts*)
|
H A D | ExponentialIntegralFunctions.m | 38 (*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 D | InverseHyperbolicCosecantFunctions.m | 12 (*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 D | InverseHyperbolicTangentFunctions.m | 12 (*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 D | InverseHyperbolicCotangentFunctions.m | 12 (*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 D | InverseHyperbolicSecantFunctions.m | 12 (*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 D | calculus.h | 73 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 D | complextype.h | 49 } 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 D | EVP_KEYEXCH-ECDH.pod | 36 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 D | InverseSecantFunctions.m | 12 (*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 D | InverseCosecantFunctions.m | 12 (*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 D | EVP_KEYEXCH-ECDH.pod | 36 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 D | EVP_KEYEXCH-ECDH.pod | 36 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 D | EVP_KEYEXCH-ECDH.pod | 36 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 D | RationalFunctionsOfLinears.m | 34 (*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 D | HyperbolicSubstitution.m | 9 (*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 …]
|