/dports/devel/boost-docs/boost_1_72_0/libs/hana/test/ |
H A D | comparable.cpp | 19 struct eq1 { int value; }; struct 22 constexpr operator eq1() const { return {value}; } in operator eq1() 26 (std::is_same<T, eq1>{} || std::is_same<T, eq2>{}) && 27 (std::is_same<U, eq1>{} || std::is_same<U, eq2>{}) 33 (std::is_same<T, eq1>{} || std::is_same<T, eq2>{}) && 34 (std::is_same<U, eq1>{} || std::is_same<U, eq2>{}) 51 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(eq1{0}, eq1{0})); in main() 52 BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(eq1{0}, eq1{1}))); in main() 53 BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(eq1{1}, eq1{0}))); in main() 55 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(eq1{0}, eq2{0})); in main() [all …]
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/hana/test/ |
H A D | comparable.cpp | 19 struct eq1 { int value; }; struct 22 constexpr operator eq1() const { return {value}; } in operator eq1() 26 (std::is_same<T, eq1>{} || std::is_same<T, eq2>{}) && 27 (std::is_same<U, eq1>{} || std::is_same<U, eq2>{}) 33 (std::is_same<T, eq1>{} || std::is_same<T, eq2>{}) && 34 (std::is_same<U, eq1>{} || std::is_same<U, eq2>{}) 51 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(eq1{0}, eq1{0})); in main() 52 BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(eq1{0}, eq1{1}))); in main() 53 BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(eq1{1}, eq1{0}))); in main() 55 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(eq1{0}, eq2{0})); in main() [all …]
|
/dports/devel/boost-libs/boost_1_72_0/libs/hana/test/ |
H A D | comparable.cpp | 19 struct eq1 { int value; }; struct 22 constexpr operator eq1() const { return {value}; } in operator eq1() 26 (std::is_same<T, eq1>{} || std::is_same<T, eq2>{}) && 27 (std::is_same<U, eq1>{} || std::is_same<U, eq2>{}) 33 (std::is_same<T, eq1>{} || std::is_same<T, eq2>{}) && 34 (std::is_same<U, eq1>{} || std::is_same<U, eq2>{}) 51 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(eq1{0}, eq1{0})); in main() 52 BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(eq1{0}, eq1{1}))); in main() 53 BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(eq1{1}, eq1{0}))); in main() 55 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(eq1{0}, eq2{0})); in main() [all …]
|
/dports/devel/hyperscan/boost_1_75_0/libs/hana/test/ |
H A D | comparable.cpp | 19 struct eq1 { int value; }; argument 22 constexpr operator eq1() const { return {value}; } in operator eq1() 26 (std::is_same<T, eq1>{} || std::is_same<T, eq2>{}) && 27 (std::is_same<U, eq1>{} || std::is_same<U, eq2>{}) 33 (std::is_same<T, eq1>{} || std::is_same<T, eq2>{}) && 34 (std::is_same<U, eq1>{} || std::is_same<U, eq2>{}) 51 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(eq1{0}, eq1{0})); in main() 52 BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(eq1{0}, eq1{1}))); in main() 53 BOOST_HANA_CONSTEXPR_CHECK(hana::not_(hana::equal(eq1{1}, eq1{0}))); in main() 55 BOOST_HANA_CONSTEXPR_CHECK(hana::equal(eq1{0}, eq2{0})); in main() [all …]
|
/dports/math/fricas/fricas-1.3.7/pre-generated/target/share/hypertex/pages/ |
H A D | EQ.pht | 4 \tab{5}\spadcommand{eq1 := 3*x + 4*y = 5\bound{eq1 }} 14 \tab{5}\spadcommand{eq1 := 3*x + 4*y = 5\bound{eq1 }} 36 \tab{5}\spadcommand{lhs eq1\free{eq1 }} 46 \tab{5}\spadcommand{lhs eq1\free{eq1 }} 52 \tab{5}\spadcommand{rhs eq1\free{eq1 }} 62 \tab{5}\spadcommand{rhs eq1\free{eq1 }} 68 \tab{5}\spadcommand{eq1 + eq2\free{eq1 eq2 }} 78 \tab{5}\spadcommand{eq1 + eq2\free{eq1 eq2 }} 84 \tab{5}\spadcommand{eq1 * eq2\free{eq1 eq2 }} 117 \tab{5}\spadcommand{eq1^2\free{eq1 }} [all …]
|
H A D | EQ.ht | 26 \spadpaste{eq1 := 3*x + 4*y = 5 \bound{eq1}} 36 \spadpaste{lhs eq1 \free{eq1}} 40 \spadpaste{rhs eq1 \free{eq1}} 47 \spadpaste{eq1 + eq2 \free{eq1 eq2}} 51 \spadpaste{eq1 * eq2 \free{eq1 eq2}} 55 \spadpaste{2*eq2 - eq1 \free{eq1 eq2}} 62 \spadpaste{eq1^2 \free{eq1}}
|
/dports/lang/mono/mono-5.10.1.57/external/nunit-lite/NUnitLite-1.0.0/src/tests/Attributes/ |
H A D | ParameterizedTestFixtureTests.cs | 38 private string eq1; field in NUnit.Framework.Attributes.ParameterizedTestFixture 44 this.eq1 = eq1; in ParameterizedTestFixture() 49 public ParameterizedTestFixture(string eq1, string eq2) in ParameterizedTestFixture() argument 50 : this(eq1, eq2, null) { } in ParameterizedTestFixture() 52 public ParameterizedTestFixture(int eq1, int eq2, int neq) in ParameterizedTestFixture() argument 54 this.eq1 = eq1.ToString(); in ParameterizedTestFixture() 62 Assert.AreEqual(eq1, eq2); in TestEquality() 63 if (eq1 != null && eq2 != null) in TestEquality() 64 Assert.AreEqual(eq1.GetHashCode(), eq2.GetHashCode()); in TestEquality() 70 Assert.AreNotEqual(eq1, neq); in TestInequality() [all …]
|
/dports/databases/mongodb36/mongodb-src-r3.6.23/src/mongo/db/matcher/ |
H A D | expression_internal_expr_eq_test.cpp | 50 InternalExprEqMatchExpression eq1; in TEST() local 52 eq1.setCollator(&collator1); in TEST() 59 ASSERT_FALSE(eq1.equivalent(&eq2)); in TEST() 74 InternalExprEqMatchExpression eq1; in TEST() local 84 InternalExprEqMatchExpression eq1; in TEST() local 94 InternalExprEqMatchExpression eq1; in TEST() local 98 ASSERT_TRUE(eq1.equivalent(&eq2)); in TEST() 103 InternalExprEqMatchExpression eq1; in TEST() local 113 InternalExprEqMatchExpression eq1; in TEST() local 115 eq1.setCollator(&collator1); in TEST() [all …]
|
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/src/ |
H A D | s6dplane.c | 55 s6dplane(double eq1[],double eq2[],double eq3[],double epoint[], in s6dplane() argument 58 double s6dplane(eq1,eq2,eq3,epoint,idim,jstat) in s6dplane() 59 double eq1[]; in s6dplane() 122 s6diff(eq2,eq1,idim,sdiff1); 123 s6diff(eq3,eq1,idim,sdiff2); 124 s6diff(epoint,eq1,idim,sdiff3); 136 tdist = s6dist(eq1,epoint,idim); /* Normal of zero length. */
|
/dports/math/eprover/eprover-E-2.0/CLAUSES/ |
H A D | ccl_eqn.c | 216 assert(EqnIsPositive(eq1)); in compare_poseqn_negeqn() 221 if(EqnIsOriented(eq1)) in compare_poseqn_negeqn() 242 assert(!EqnIsOriented(eq1)); in compare_poseqn_negeqn() 1640 bool EqnEqual(Eqn_p eq1, Eqn_p eq2) in EqnEqual() argument 1644 res = EqnEqualDirected(eq1, eq2); in EqnEqual() 1832 EqnSwapSidesSimple(eq1); in EqnUnify() 1834 EqnSwapSidesSimple(eq1); in EqnUnify() 2063 if(!EqnIsSelected(eq1)) in LiteralCompare() 2072 if(EqnIsSelected(eq1)) in LiteralCompare() 2093 else if(EqnIsPositive(eq1)) in LiteralCompare() [all …]
|
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/devel/hs-shake/shake-0.19.6/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/sysutils/hs-cputype/cputype-ad3835a3a2d38aab86c03ed615058da0f1fbf244/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/lang/elm/compiler-0.19.1/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/primitive-0.7.0.1/test/src/Test/QuickCheck/Classes/ |
H A D | Compat.hs | 10 , eq1 50 eq1 :: (forall a. Eq a => Eq (f a), Eq a) => f a -> f a -> Bool 51 eq1 = (==) function 53 eq1 :: (C.Eq1 f, Eq a) => f a -> f a -> Bool 56 eq1 = C.eq1 function 58 eq1 = C.liftEq (==) function
|