Searched refs:KStar (Results 1 – 21 of 21) sorted by relevance
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Strings/ |
H A D | RegexCrossword.hs | 69 where rs = [ R.KStar (R.oneOf "NOTAD") -- [NOTAD]* 74 , R.KStar (R.oneOf "TUBE") -- [TUBE]* 99 where rs = [ R.KStar (R.oneOf "TRASH") -- [TRASH]* 100 , ("FA" + "AB") * R.KStar (R.oneOf "TUP") -- (FA|AB)[TUP]* 101 , R.KStar ("BA" + "TH" + "TU") -- (BA|TH|TU)* 102 , R.KStar R.All * "A" * R.KStar R.All -- .*A.* 105 cs = [ R.KStar ("TS" + "RA" + "QA") -- (TS|RA|QA)* 106 , R.KStar ("AB" + "UT" + "AR") -- (AB|UT|AR)* 107 , ("K" + "T") * "U" * R.KStar R.All * ("A" + "R") -- (K|T)U.*(A|R)
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/ |
H A D | RegExp.hs | 108 go (KStar r) k s = k s || go r (smaller (P.length s) (go (KStar r) k)) s 109 go (KPlus r) k s = go (Conc [r, KStar r]) k s 288 identifier = asciiLower * KStar (asciiLetter + digit + "_" + "'")
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Misc/ |
H A D | Tuple.hs | 65 r = asciiLower * KStar (asciiLetter + digit + "_" + "'")
|
/dports/textproc/weka/weka-3-8-5/changelogs/ |
H A D | CHANGELOG-3-4-1 | 89 classifiers/lazy/KStar.java (1.1), 90 classifiers/lazy/kstar/KStar.java (1.15), 204 lazy/IBk.java (1.29), lazy/LWL.java (1.9), lazy/kstar/KStar.java
|
H A D | CHANGELOG-3-1-7 | 172 * weka/classifiers/kstar/KStar.java (1.3): Removed output to 300 * weka/classifiers/kstar/KStar.java (1.2): Fixed bug that prevented 339 * weka/classifiers/kstar/: KStar.java (1.1), KStarCache.java (1.1),
|
H A D | CHANGELOG-3-4 | 122 classifiers/lazy/LWL.java (1.8), classifiers/lazy/kstar/KStar.java 300 * weka/classifiers/lazy/kstar/KStar.java (1.12): KStar was never
|
H A D | CHANGELOG-3-3-1 | 637 (1.11), lazy/kstar/KStar.java (1.9), lazy/kstar/KStarCache.java 841 * weka/classifiers/lazy/kstar/KStar.java (1.8): Fixed case where 961 classifiers/lazy/kstar/KStar.java (1.7), classifiers/misc/VFI.java
|
H A D | CHANGELOG-3-8-5 | 100 M /branches/stable-3-8/weka/src/main/java/weka/classifiers/lazy/KStar.java 166 M /branches/waikato-3-8/weka/src/main/java/weka/classifiers/lazy/KStar.java 232 M /branches/waikato/weka/src/main/java/weka/classifiers/lazy/KStar.java
|
H A D | CHANGELOG-3-3-3 | 721 classifiers/lazy/LWR.java (1.13), classifiers/lazy/kstar/KStar.java
|
H A D | CHANGELOG-3-3-5 | 630 classifiers/lazy/kstar/KStar.java (1.11),
|
H A D | CHANGELOG-3-2 | 374 classifiers/kstar/KStar.java (1.5), classifiers/m5/M5Prime.java
|
H A D | CHANGELOG-3-7-0 | 1791 M /trunk/weka/src/main/java/weka/classifiers/lazy/KStar.java 3279 M /trunk/weka/src/main/java/weka/classifiers/lazy/KStar.java
|
H A D | CHANGELOG-3-7-1 | 790 M /trunk/weka/src/main/java/weka/classifiers/lazy/KStar.java
|
H A D | CHANGELOG-3-7-11 | 347 M /trunk/weka/src/main/java/weka/classifiers/lazy/KStar.java
|
H A D | CHANGELOG-3-8-0 | 579 A /trunk/weka/src/main/java/weka/gui/knowledgeflow/icons/KStar.gif
|
H A D | CHANGELOG-3-7-6 | 714 M /trunk/weka/src/main/java/weka/classifiers/lazy/KStar.java
|
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
H A D | Symbolic.hs | 350 | KStar RegExp -- ^ Kleene Star: Zero or more constructor 402 regExpToString fs (KStar r) = "(re.* " ++ regExpToString fs r ++ ")"
|
/dports/astro/kstars/kstars-3.5.6/po/nl/ |
H A D | kstars.po | 30815 msgstr "Indien gekozen gebruik de GV van KStar." 78229 msgstr "Gebruik de GV van KStar"
|
/dports/astro/kstars/kstars-3.5.6/po/zh_CN/ |
H A D | kstars.po | 66933 msgstr "使用在线服务确定 KStar 未包含的名称"
|
/dports/astro/kstars/kstars-3.5.6/po/sq/ |
H A D | kstars.po | 393 msgstr "Shfaqësi i imazheve të KStar"
|
/dports/astro/kstars/kstars-3.5.6/po/tr/ |
H A D | kstars.po | 5800 "KStar'ları öğrenmek için kullanışlıdır. Zip dosyasını kurmak veya açmak için "
|