| /dports/lang/swi-pl/swipl-8.2.3/packages/clpqr/clpq/ |
| H A D | bb_q.pl | 68 % Finds the infimum of Term where the variables Ints are to be integers.
69 % The infimum is stored in Inf.
81 % Finds an infimum <Inf> for linear expression in normal form <Lin>, where
127 % Checks if the new infimum Inf is better than the previous one (if such exists).
216 % We do this by finding the infimum of X and asserting that X
217 % is larger than the first integer larger or equal to the infimum
|
| /dports/lang/yap/yap-6.2.2/packages/clpqr/clpq/ |
| H A D | bb_q.pl | 68 % Finds the infimum of Term where the variables Ints are to be integers.
69 % The infimum is stored in Inf.
81 % Finds an infimum <Inf> for linear expression in normal form <Lin>, where
127 % Checks if the new infimum Inf is better than the previous one (if such exists).
214 % We do this by finding the infimum of X and asserting that X
215 % is larger than the first integer larger or equal to the infimum
|
| /dports/biology/seqan1/seqan-1.3.1/seqan/seeds/ |
| H A D | seed_base.h | 890 TScore infimum = minValue<TScore>()+1-gapCost;
916 resize(antiDiagonal2, 2, infimum);
917 resize(antiDiagonal3, _min(3, xLength+1), infimum);
946 tmp = infimum;
952 (*antiDiag3)[i] = infimum;
958 …(TPosition)length(*antiDiag3)-1) && ((*antiDiag3)[b] == infimum) && (*antiDiag2)[b-1] == infimum) {
962 while ((u >= 0) && ((*antiDiag3)[u] == infimum) && (*antiDiag2)[u] == infimum) {
993 (*antiDiag3)[eu] = infimum;
1020 TScore tmpMax = infimum;
1047 if(tmpMax != infimum) {
|
| /dports/lang/yap/yap-6.2.2/docs/ |
| H A D | clpr.tex | 40 Computes the infimum of @var{Expression} within the current state of the
41 constraint store and returns that infimum in @var{Inf}. This predicate
51 the same as computing the infimum and equation the expression to that
52 infimum.
60 Computes the infimum of @var{Expression} within the current constraint
61 store, with the additional constraint that in that infimum, all
63 the values of @var{Ints} in the infimum. @var{Eps} denotes how much a
|
| /dports/lang/swi-pl/swipl-8.2.3/man/lib/ |
| H A D | clpqr.doc | 54 Computes the infimum of \arg{Expression} within the current state of the
55 constraint store and returns that infimum in \arg{Inf}. This predicate
65 the same as computing the infimum and equating the expression to that
66 infimum.
74 This predicate is offered in CLP(R) only. It computes the infimum of
76 store, with the additional constraint that in that infimum, all
78 the values of \arg{Ints} in the infimum. \arg{Eps} denotes how much a
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/ |
| H A D | Order.hs | 12 , supremum, infimum
284 infimum :: (?cutoff :: CutOff) => [Order] -> Order
285 infimum (o:l) = List.foldl' minO o l function
286 infimum [] = __IMPOSSIBLE__ function
|
| /dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/mysql-test/suite/innodb/t/ |
| H A D | trx_id_future.test | 24 #Seek the the infimum record and get the offset to next record
27 #infimum record
|
| /dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/mysql-test/suite/innodb/t/ |
| H A D | trx_id_future.test | 26 #Seek the the infimum record and get the offset to next record
29 #infimum record
|
| /dports/databases/mysqlwsrep57-server/mysql-wsrep-wsrep_5.7.35-25.27/mysql-test/suite/innodb/t/ |
| H A D | trx_id_future.test | 26 #Seek the the infimum record and get the offset to next record
29 #infimum record
|
| /dports/databases/xtrabackup/percona-xtrabackup-2.4.21/mysql-test/suite/innodb/t/ |
| H A D | trx_id_future.test | 26 #Seek the the infimum record and get the offset to next record
29 #infimum record
|
| /dports/databases/percona57-server/percona-server-5.7.36-39/mysql-test/suite/innodb/t/ |
| H A D | trx_id_future.test | 26 #Seek the the infimum record and get the offset to next record
29 #infimum record
|
| /dports/databases/percona57-client/percona-server-5.7.36-39/mysql-test/suite/innodb/t/ |
| H A D | trx_id_future.test | 26 #Seek the the infimum record and get the offset to next record
29 #infimum record
|
| /dports/databases/mysql57-client/mysql-5.7.36/mysql-test/suite/innodb/t/ |
| H A D | trx_id_future.test | 26 #Seek the the infimum record and get the offset to next record
29 #infimum record
|
| /dports/databases/mysql55-client/mysql-5.5.62/storage/innobase/include/ |
| H A D | page0page.ic | 371 TRUE if the record is the infimum record on a page.
372 @return TRUE if the infimum record */
411 TRUE if the record is the infimum record on a page.
412 @return TRUE if the infimum record */
467 be page infimum or supremum, in which case
529 Gets the number of user records on page (infimum and supremum records
789 must not be page infimum */
821 infimum */
868 infimum */
915 the infimum and supremum records.
[all …]
|
| /dports/security/py-angr/angr-9.0.5405/angr/analyses/typehoon/ |
| H A D | simple_solver.py | 313 … infimum = TopType() if typevar not in self._lower_bounds else self._lower_bounds[typevar]
316 infimum = self._meet(supertypevar, infimum, self._get_lower_bound)
317 self._lower_bounds[typevar] = infimum
326 subtype_infimum = self._meet(subtypevar, infimum, self._get_lower_bound)
|
| /dports/math/combblas/CombBLAS_beta_16_2/include/CombBLAS/SequenceHeaps/ |
| H A D | heap-CLR.h | 20 Heap2(Key sup, Key infimum, int cap):size(0),capacity(cap) { in Heap2() argument
22 data[0].key = infimum; // sentinel in Heap2()
|
| H A D | heap2.h | 20 Heap2(Key sup, Key infimum, int cap):size(0),capacity(cap) { in Heap2() argument
22 data[0].key = infimum; // sentinel in Heap2()
|
| H A D | knheap.h | 31 BinaryHeap(Key sup, Key infimum):size(0) { in BinaryHeap() argument
32 data[0].key = infimum; // sentinel in BinaryHeap()
277 KNHeap(Key sup, Key infimum);
|
| /dports/databases/mariadb103-server/mariadb-10.3.34/mysql-test/suite/innodb/t/ |
| H A D | trx_id_future.test | 25 #Seek the the infimum record and get the offset to next record
28 #infimum record
|
| /dports/databases/mariadb103-client/mariadb-10.3.34/mysql-test/suite/innodb/t/ |
| H A D | trx_id_future.test | 25 #Seek the the infimum record and get the offset to next record
28 #infimum record
|
| /dports/databases/percona56-client/percona-server-5.6.51-91.0/storage/innobase/include/ |
| H A D | page0page.ic | 405 TRUE if the record is the infimum record on a page.
406 @return TRUE if the infimum record */
448 TRUE if the record is the infimum record on a page.
449 @return TRUE if the infimum record */
506 be page infimum or supremum, in which case
570 Gets the number of user records on page (infimum and supremum records
852 must not be page infimum */
880 infimum */
927 infimum */
974 the infimum and supremum records.
[all …]
|
| /dports/databases/percona-pam-for-mysql/percona-server-5.6.51-91.0/storage/innobase/include/ |
| H A D | page0page.ic | 405 TRUE if the record is the infimum record on a page.
406 @return TRUE if the infimum record */
448 TRUE if the record is the infimum record on a page.
449 @return TRUE if the infimum record */
506 be page infimum or supremum, in which case
570 Gets the number of user records on page (infimum and supremum records
852 must not be page infimum */
880 infimum */
927 infimum */
974 the infimum and supremum records.
[all …]
|
| /dports/databases/percona56-server/percona-server-5.6.51-91.0/storage/innobase/include/ |
| H A D | page0page.ic | 405 TRUE if the record is the infimum record on a page.
406 @return TRUE if the infimum record */
448 TRUE if the record is the infimum record on a page.
449 @return TRUE if the infimum record */
506 be page infimum or supremum, in which case
570 Gets the number of user records on page (infimum and supremum records
852 must not be page infimum */
880 infimum */
927 infimum */
974 the infimum and supremum records.
[all …]
|
| /dports/databases/mysqlwsrep56-server/mysql-wsrep-wsrep_5.6.51-25.33/storage/innobase/include/ |
| H A D | page0page.ic | 402 TRUE if the record is the infimum record on a page.
403 @return TRUE if the infimum record */
445 TRUE if the record is the infimum record on a page.
446 @return TRUE if the infimum record */
503 be page infimum or supremum, in which case
567 Gets the number of user records on page (infimum and supremum records
849 must not be page infimum */
877 infimum */
924 infimum */
971 the infimum and supremum records.
[all …]
|
| /dports/databases/mysql56-client/mysql-5.6.51/storage/innobase/include/ |
| H A D | page0page.ic | 402 TRUE if the record is the infimum record on a page.
403 @return TRUE if the infimum record */
445 TRUE if the record is the infimum record on a page.
446 @return TRUE if the infimum record */
503 be page infimum or supremum, in which case
567 Gets the number of user records on page (infimum and supremum records
849 must not be page infimum */
877 infimum */
924 infimum */
971 the infimum and supremum records.
[all …]
|