Home
last modified time | relevance | path

Searched refs:Bool (Results 1 – 25 of 14507) sorted by relevance

12345678910>>...581

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/
H A DT9233a.hs6 f2 :: !Bool,
7 f3 :: !Bool,
8 f4 :: !Bool,
9 f5 :: !Bool,
10 f6 :: !Bool,
11 f7 :: !Bool,
12 f8 :: !Bool,
13 f9 :: !Bool,
14 f10 :: !Bool,
15 f11 :: !Bool,
[all …]
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/test/smtlib/small_set/vmt/
H A Dc432_n.vmt2 (declare-fun E_0__AT0 () Bool)
3 (declare-fun E_1__AT0 () Bool)
4 (declare-fun E_2__AT0 () Bool)
5 (declare-fun E_3__AT0 () Bool)
6 (declare-fun E_4__AT0 () Bool)
7 (declare-fun E_5__AT0 () Bool)
8 (declare-fun E_6__AT0 () Bool)
9 (declare-fun E_7__AT0 () Bool)
10 (declare-fun E_8__AT0 () Bool)
11 (declare-fun A_0__AT0 () Bool)
[all …]
H A Dc432_1f.vmt2 (declare-fun E_0__AT0 () Bool)
3 (declare-fun E_1__AT0 () Bool)
4 (declare-fun E_2__AT0 () Bool)
5 (declare-fun E_3__AT0 () Bool)
6 (declare-fun E_4__AT0 () Bool)
7 (declare-fun E_5__AT0 () Bool)
8 (declare-fun E_6__AT0 () Bool)
9 (declare-fun E_7__AT0 () Bool)
10 (declare-fun E_8__AT0 () Bool)
11 (declare-fun A_0__AT0 () Bool)
[all …]
H A Dc432_0f.vmt2 (declare-fun E_0__AT0 () Bool)
3 (declare-fun E_1__AT0 () Bool)
4 (declare-fun E_2__AT0 () Bool)
5 (declare-fun E_3__AT0 () Bool)
6 (declare-fun E_4__AT0 () Bool)
7 (declare-fun E_5__AT0 () Bool)
8 (declare-fun E_6__AT0 () Bool)
9 (declare-fun E_7__AT0 () Bool)
10 (declare-fun E_8__AT0 () Bool)
11 (declare-fun A_0__AT0 () Bool)
[all …]
/dports/deskutils/gcal/gcal-4.1/src/
H A Dhd-data5.h45 const Bool detected,
51 const Bool detected,
57 const Bool detected,
63 const Bool detected,
69 const Bool detected,
75 const Bool detected,
81 const Bool detected,
87 const Bool detected,
93 const Bool detected,
99 const Bool detected,
[all …]
H A Dhd-data3.h45 const Bool detected,
141 const Bool detected,
147 const Bool detected,
153 const Bool detected,
159 const Bool detected,
165 const Bool detected,
171 const Bool detected,
177 const Bool detected,
183 const Bool detected,
189 const Bool detected,
[all …]
H A Dhd-data2.h45 const Bool detected,
51 const Bool detected,
57 const Bool detected,
63 const Bool detected,
69 const Bool detected,
75 const Bool detected,
81 const Bool detected,
87 const Bool detected,
117 const Bool detected,
123 const Bool detected,
[all …]
H A Dhd-data4.h45 const Bool detected,
51 const Bool detected,
57 const Bool detected,
63 const Bool detected,
69 const Bool detected,
75 const Bool detected,
81 const Bool detected,
87 const Bool detected,
93 const Bool detected,
99 const Bool detected,
[all …]
H A Dglobals.h235 extern Bool hdy_bahai;
238 extern Bool hdy_celtic;
241 extern Bool hdy_chinese;
250 extern Bool hdy_hebrew;
253 extern Bool hdy_islamic;
277 extern Bool mth_bahai;
286 extern Bool mth_coptic;
295 extern Bool mth_hebrew;
319 extern Bool emu_hls;
424 extern Bool is_en;
[all …]
H A Dhd-data.h45 const Bool detected,
52 const Bool detected,
57 const Bool detected,
63 const Bool detected,
68 const Bool detected,
87 const Bool is_any_meridian, const Bool do_chinese));
96 const Bool detected,
102 const Bool detected,
108 const Bool detected,
113 const Bool detected,
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/push-pop/
H A DDRAGON_4_e2_2799_e3_1915.lus.ic3.1.min.smt2824 (declare-fun c2 () Bool)
825 (declare-fun c4 () Bool)
838 (declare-fun c6 () Bool)
839 (declare-fun c7 () Bool)
913 (declare-fun c41 () Bool)
927 (declare-fun c48 () Bool)
973 (declare-fun c72 () Bool)
974 (declare-fun c73 () Bool)
986 (declare-fun c77 () Bool)
987 (declare-fun c78 () Bool)
[all …]
/dports/math/yices/yices-2.6.2/tests/regress/wd/
H A Duhler-segv1.ys6 (define-type Bool (tuple tag~Bool))
7 (define uidt~Bool :: Bool)
54 (define-type tag~__oparen__comma__cparen$Bool$Bool (scalar __oparen__comma__cparen$Bool$Bool))
55 (define-type __oparen__comma__cparen$Bool$Bool (tuple tag~__oparen__comma__cparen$Bool$Bool (tuple …
56 (define uidt~__oparen__comma__cparen$Bool$Bool :: __oparen__comma__cparen$Bool$Bool)
59 (define err~5 :: (-> __oparen__comma__cparen$Bool$Bool Bool))
60 (define err~6 :: (-> Bool Bool))
67 (define err~13 :: (-> __oparen__comma__cparen$Bool$Bool Bool))
75 (define err~21 :: (-> __oparen__comma__cparen$Bool$Bool Bool))
82 (define err~28 :: (-> __oparen__comma__cparen$Bool$Bool Bool))
[all …]
/dports/math/scilab/scilab-6.1.1/scilab/modules/ast/src/cpp/operations/
H A Dtypes_comparison_ne.cpp109 scilab_fill_comparison_no_equal(String, Bool, M_E, String, Bool, Bool); in fillComparisonNoEqualFunction()
110 scilab_fill_comparison_no_equal(Bool, String, M_E, Bool, String, Bool); in fillComparisonNoEqualFunction()
233 scilab_fill_comparison_no_equal(Double, Bool, M_E, Double, Bool, Bool); in fillComparisonNoEqualFunction()
394 scilab_fill_comparison_no_equal(Int8, Bool, M_B, Int8, Bool, Bool); in fillComparisonNoEqualFunction()
445 scilab_fill_comparison_no_equal(UInt8, Bool, M_B, UInt8, Bool, Bool); in fillComparisonNoEqualFunction()
496 scilab_fill_comparison_no_equal(Int16, Bool, M_B, Int16, Bool, Bool); in fillComparisonNoEqualFunction()
598 scilab_fill_comparison_no_equal(Int32, Bool, M_B, Int32, Bool, Bool); in fillComparisonNoEqualFunction()
794 scilab_fill_comparison_no_equal(Bool, Int8, B_M, Bool, Int8, Bool); in fillComparisonNoEqualFunction()
802 scilab_fill_comparison_no_equal(Bool, Bool, M_M, Bool, Bool, Bool); in fillComparisonNoEqualFunction()
815 scilab_fill_comparison_no_equal(Bool, ScalarBool, M_S, Bool, Bool, Bool); in fillComparisonNoEqualFunction()
[all …]
H A Dtypes_comparison_eq.cpp109 scilab_fill_comparisonequal(String, Bool, M_E, String, Bool, Bool); in fillComparisonEqualFunction()
110 scilab_fill_comparisonequal(Bool, String, M_E, Bool, String, Bool); in fillComparisonEqualFunction()
233 scilab_fill_comparisonequal(Double, Bool, M_E, Double, Bool, Bool); in fillComparisonEqualFunction()
394 scilab_fill_comparisonequal(Int8, Bool, M_B, Int8, Bool, Bool); in fillComparisonEqualFunction()
445 scilab_fill_comparisonequal(UInt8, Bool, M_B, UInt8, Bool, Bool); in fillComparisonEqualFunction()
496 scilab_fill_comparisonequal(Int16, Bool, M_B, Int16, Bool, Bool); in fillComparisonEqualFunction()
598 scilab_fill_comparisonequal(Int32, Bool, M_B, Int32, Bool, Bool); in fillComparisonEqualFunction()
794 scilab_fill_comparisonequal(Bool, Int8, B_M, Bool, Int8, Bool); in fillComparisonEqualFunction()
802 scilab_fill_comparisonequal(Bool, Bool, M_M, Bool, Bool, Bool); in fillComparisonEqualFunction()
815 scilab_fill_comparisonequal(Bool, ScalarBool, M_S, Bool, Bool, Bool); in fillComparisonEqualFunction()
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/quantifiers/
H A Dsmall-bug1-fixpoint-3.smt26 …e-fun Verilog__main.impl_PC_valid_64_1_39_!3 (Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bo…
7 …lare-fun Verilog__main.impl_flush_64_1_39_!1 (Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bo…
8 (declare-fun Verilog__main.reset_64_0_39_!4 (Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool…
9 …e-fun Verilog__main.impl_PC_valid_64_2_39_!6 (Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bo…
10 …lare-fun Verilog__main.impl_flush_64_0_39_!0 (Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bo…
11 (declare-fun Verilog__main.reset_64_1_39_!7 (Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool…
12 …e-fun Verilog__main.impl_PC_valid_64_0_39_!5 (Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bo…
13 …lare-fun Verilog__main.impl_flush_64_2_39_!2 (Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bo…
14 …Bool) (Verilog__main.impl_flush_64_1 Bool) (Verilog__main.impl_flush_64_2 Bool) (Verilog__main.imp…
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/
H A DuiSat_test3.gold19 [GOOD] (declare-fun q2 (Bool Bool) Bool)
2068 q2 :: Bool -> Bool -> Bool
2074 q2 :: Bool -> Bool -> Bool
2080 q2 :: Bool -> Bool -> Bool
2086 q2 :: Bool -> Bool -> Bool
2094 q2 :: Bool -> Bool -> Bool
2102 q2 :: Bool -> Bool -> Bool
2110 q2 :: Bool -> Bool -> Bool
2118 q2 :: Bool -> Bool -> Bool
2127 q2 :: Bool -> Bool -> Bool
[all …]
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/hxt-charproperties-9.4.0.0/src/Data/Char/Properties/
H A DUnicodeBlocks.hs689 isNKo :: Char -> Bool
734 isThai :: Char -> Bool
737 isLao :: Char -> Bool
1007 isLisu :: Char -> Bool
1010 isVai :: Char -> Bool
1055 isCham :: Char -> Bool
1298 isNewa :: Char -> Bool
1307 isModi :: Char -> Bool
1316 isAhom :: Char -> Bool
1376 isMro :: Char -> Bool
[all …]
/dports/math/z3/z3-z3-4.8.13/examples/python/data/
H A Dhorn6.smt21 …Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Boo…
3 (declare-var l0 Bool)
4 (declare-var l2 Bool)
5 (declare-var l4 Bool)
6 (declare-var l6 Bool)
7 (declare-var l8 Bool)
8 (declare-var l10 Bool)
9 (declare-var l12 Bool)
10 (declare-var l14 Bool)
11 (declare-var l16 Bool)
[all …]
/dports/math/py-z3-solver/z3-z3-4.8.10/examples/python/data/
H A Dhorn6.smt21 …Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Bool Boo…
3 (declare-var l0 Bool)
4 (declare-var l2 Bool)
5 (declare-var l4 Bool)
6 (declare-var l6 Bool)
7 (declare-var l8 Bool)
8 (declare-var l10 Bool)
9 (declare-var l12 Bool)
10 (declare-var l14 Bool)
11 (declare-var l16 Bool)
[all …]
/dports/graphics/libbpg/libbpg-0.9.8/jctvc/
H A DTAppEncCfg.h71 Bool m_isTopFieldFirst;
86 Bool m_printFrameMSE;
87 Bool m_printSequenceMSE;
98 Bool m_progressiveSourceFlag;
99 Bool m_interlacedSourceFlag;
100 Bool m_nonPackedConstraintFlag;
120 Bool m_enableAMP;
138 Bool m_bUseAdaptQpSelect;
175 Bool m_bUseSAO;
277 Bool m_tmctsSEIEnabled;
[all …]
/dports/graphics/opencv/opencv-4.5.3/contrib/modules/julia/test/
H A Dtest_mat.jl8 @test checkbounds(Bool, A, 1, 1, 1) == true
9 @test checkbounds(Bool, A, 5, 4, 3) == true
10 @test checkbounds(Bool, A, 0, 1, 1) == false
11 @test checkbounds(Bool, A, 1, 0, 1) == false
12 @test checkbounds(Bool, A, 1, 1, 0) == false
13 @test checkbounds(Bool, A, 6, 4, 3) == false
17 @test checkbounds(Bool, A, 60) == true
18 @test checkbounds(Bool, A, 61) == false
21 @test checkbounds(Bool, A, 1, 1) == false
22 @test checkbounds(Bool, A, 1, 12) == false
[all …]
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/sygus/
H A Dcar_3.lus.sy11 ) Bool
24 ) Bool
37 ) Bool
56 ) Bool
80 ) Bool
130 ) Bool
188 ) Bool
259 ) Bool
379 ) Bool
455 ) Bool
[all …]
H A Dcegis-unif-inv-eq-fair.sy10 ) Bool
23 ) Bool
36 ) Bool
55 ) Bool
79 ) Bool
129 ) Bool
187 ) Bool
258 ) Bool
378 ) Bool
454 ) Bool
[all …]
/dports/textproc/cgrep/cgrep-6.6.32/src/
H A DOptions.hs28 , word_match :: Bool
29 , prefix_match :: Bool
30 , suffix_match :: Bool
31 , edit_dist :: Bool
32 , regex_posix :: Bool
33 , regex_pcre :: Bool
34 , ignore_case :: Bool
36 , code :: Bool
37 , comment :: Bool
38 , literal :: Bool
[all …]
/dports/lang/maude/maude-2.7.1/tests/Misc/
H A Drenaming.expected36 eq A:Bool and (B:Bool xor C:Bool) = A:Bool and B:Bool xor A:Bool and C:Bool .
38 eq A:Bool or B:Bool = A:Bool and B:Bool xor A:Bool xor B:Bool .
79 eq A:Bool and (B:Bool xor C:Bool) = A:Bool and B:Bool xor A:Bool and C:Bool .
81 eq A:Bool or B:Bool = A:Bool and B:Bool xor A:Bool xor B:Bool .
120 eq A:Bool and (B:Bool xor C:Bool) = A:Bool and B:Bool xor A:Bool and C:Bool .
122 eq A:Bool or B:Bool = A:Bool and B:Bool xor A:Bool xor B:Bool .
165 eq A:Bool and (B:Bool xor C:Bool) = A:Bool and B:Bool xor A:Bool and C:Bool .
167 eq A:Bool or B:Bool = A:Bool and B:Bool xor A:Bool xor B:Bool .
212 eq A:Bool and (B:Bool xor C:Bool) = A:Bool and B:Bool xor A:Bool and C:Bool .
214 eq A:Bool or B:Bool = A:Bool and B:Bool xor A:Bool xor B:Bool .
[all …]

12345678910>>...581