Searched refs:arrayTo (Results 1 – 3 of 3) sorted by relevance
| /dports/www/elgg/elgg-3.3.23/vendor/fzaninotto/faker/src/Faker/Provider/ |
| H A D | Internet.php | 247 static $arrayFrom, $arrayTo;
357 $arrayTo = array_values($transliterationTable);
360 return str_replace($arrayFrom, $arrayTo, $string);
|
| /dports/math/cvc4/CVC4-1.7/src/theory/arrays/ |
| H A D | theory_arrays.h | 270 void weakEquivAddSecondary(TNode index, TNode arrayFrom, TNode arrayTo, TNode reason);
|
| H A D | theory_arrays.cpp | 569 void TheoryArrays::weakEquivAddSecondary(TNode index, TNode arrayFrom, TNode arrayTo, TNode reason)… in weakEquivAddSecondary() argument
580 while (arrayFrom != arrayTo) { in weakEquivAddSecondary()
585 … if (marked.find(indexRep) == marked.end() && weakEquivGetRepIndex(arrayFrom, index) != arrayTo) { in weakEquivAddSecondary()
587 d_infoMap.setWeakEquivSecondary(arrayFrom, arrayTo); in weakEquivAddSecondary()
|