Home
last modified time | relevance | path

Searched refs:eq1 (Results 1 – 25 of 2441) sorted by relevance

12345678910>>...98

/dports/devel/boost-docs/boost_1_72_0/libs/hana/test/
H A Dcomparable.cpp19 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 Dcomparable.cpp19 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 Dcomparable.cpp19 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 Dcomparable.cpp19 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 DEQ.pht4 \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 DEQ.ht26 \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 DParameterizedTestFixtureTests.cs38 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 Dexpression_internal_expr_eq_test.cpp50 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 Ds6dplane.c55 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 Dccl_eqn.c216 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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 DCompat.hs10 , 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

12345678910>>...98