Home
last modified time | relevance | path

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 DRegexCrossword.hs69 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 DRegExp.hs108 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 DTuple.hs65 r = asciiLower * KStar (asciiLetter + digit + "_" + "'")
/dports/textproc/weka/weka-3-8-5/changelogs/
H A DCHANGELOG-3-4-189 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 DCHANGELOG-3-1-7172 * 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 DCHANGELOG-3-4122 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 DCHANGELOG-3-3-1637 (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 DCHANGELOG-3-8-5100 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 DCHANGELOG-3-3-3721 classifiers/lazy/LWR.java (1.13), classifiers/lazy/kstar/KStar.java
H A DCHANGELOG-3-3-5630 classifiers/lazy/kstar/KStar.java (1.11),
H A DCHANGELOG-3-2374 classifiers/kstar/KStar.java (1.5), classifiers/m5/M5Prime.java
H A DCHANGELOG-3-7-01791 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 DCHANGELOG-3-7-1790 M /trunk/weka/src/main/java/weka/classifiers/lazy/KStar.java
H A DCHANGELOG-3-7-11347 M /trunk/weka/src/main/java/weka/classifiers/lazy/KStar.java
H A DCHANGELOG-3-8-0579 A /trunk/weka/src/main/java/weka/gui/knowledgeflow/icons/KStar.gif
H A DCHANGELOG-3-7-6714 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 DSymbolic.hs350 | 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 Dkstars.po30815 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 Dkstars.po66933 msgstr "使用在线服务确定 KStar 未包含的名称"
/dports/astro/kstars/kstars-3.5.6/po/sq/
H A Dkstars.po393 msgstr "Shfaqësi i imazheve të KStar"
/dports/astro/kstars/kstars-3.5.6/po/tr/
H A Dkstars.po5800 "KStar'ları öğrenmek için kullanışlıdır. Zip dosyasını kurmak veya açmak için "