Home
last modified time | relevance | path

Searched defs:makeSubstitution (Results 1 – 19 of 19) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rewriting/
H A DNonLinMatch.hs394 makeSubstitution gamma sub = function
/dports/www/dolibarr13/dolibarr-13.0.5/htdocs/adherents/class/
H A Dadherent.class.php408 public function makeSubstitution($text) function in Adherent
/dports/www/dolibarr/dolibarr-14.0.3/htdocs/adherents/class/
H A Dadherent.class.php444 public function makeSubstitution($text) function in Adherent
/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A DmixfixParser.cc434 MixfixParser::makeSubstitution(int node, Vector<Term*>& variables, Vector<Term*>& values) in makeSubstitution() function in MixfixParser
/dports/devel/icu-lx/icu/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/lang/v8/v8-9.6.180.12/third_party/icu/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/devel/icu/icu/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/www/firefox-esr/firefox-91.8.0/intl/icu/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/lang/spidermonkey78/firefox-78.9.0/intl/icu/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/textproc/R-cran-stringi/stringi/src/icu69/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/icu/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/www/firefox/firefox-99.0/intl/icu/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/mail/thunderbird/thunderbird-91.8.0/intl/icu/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/icu/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/www/firefox-legacy/firefox-52.8.0esr/intl/icu/source/i18n/
H A Dnfsubs.cpp315 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/lang/spidermonkey60/firefox-60.9.0/intl/icu/source/i18n/
H A Dnfsubs.cpp311 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/www/node10/node-v10.24.1/deps/icu-small/source/i18n/
H A Dnfsubs.cpp317 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/databases/mongodb36/mongodb-src-r3.6.23/src/third_party/icu4c-57.1/source/i18n/
H A Dnfsubs.cpp313 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution
/dports/textproc/R-cran-stringi/stringi/src/icu55/i18n/
H A Dnfsubs.cpp354 NFSubstitution::makeSubstitution(int32_t pos, in makeSubstitution() function in NFSubstitution