Home
last modified time | relevance | path

Searched refs:logical_not (Results 1 – 25 of 1328) sorted by relevance

12345678910>>...54

/dports/math/tblis/tblis-1.2.0/src/external/stl_ext/test/
H A Dalgorithm.cxx14 binary_or<logical_not<bool>, logical_not<bool>> in TEST()
15 bor1{logical_not<bool>(), logical_not<bool>()}; in TEST()
18 binary_or<logical_not<bool>, unary_negate<logical_not<bool>>> in TEST()
19 bor2{logical_not<bool>(), unary_negate<logical_not<bool>>(logical_not<bool>())}; in TEST()
23 bor3{unary_negate<logical_not<bool>>(logical_not<bool>()), logical_not<bool>()}; in TEST()
27 …bor4{unary_negate<logical_not<bool>>(logical_not<bool>()), unary_negate<logical_not<bool>>(logical… in TEST()
33 binary_and<logical_not<bool>, logical_not<bool>> in TEST()
34 band1{logical_not<bool>(), logical_not<bool>()}; in TEST()
38 band2{logical_not<bool>(), unary_negate<logical_not<bool>>(logical_not<bool>())}; in TEST()
42 band3{unary_negate<logical_not<bool>>(logical_not<bool>()), logical_not<bool>()}; in TEST()
[all …]
/dports/math/symengine/symengine-0.8.1/symengine/tests/logic/
H A Dtest_logic.cpp24 using SymEngine::logical_not;
169 REQUIRE(eq(*logical_and({c1, logical_not(c1)}), *boolFalse));
170 REQUIRE(eq(*logical_or({c1, logical_not(c1)}), *boolTrue));
242 REQUIRE(eq(*logical_not(boolTrue), *boolFalse));
243 REQUIRE(eq(*logical_not(boolFalse), *boolTrue));
245 REQUIRE(eq(*logical_not(logical_and({c1, c2})),
246 *logical_or({logical_not(c1), logical_not(c2)})));
247 REQUIRE(eq(*logical_not(logical_or({c1, c2})),
248 *logical_and({logical_not(c1), logical_not(c2)})));
291 eq(*logical_xor({boolTrue, c1, logical_not(c1), c2, logical_not(c2)}),
[all …]
/dports/math/symengine/symengine-0.8.1/symengine/
H A Dlogic.cpp6 RCP<const Boolean> Boolean::logical_not() const in logical_not() function in SymEngine::Boolean
48 RCP<const Boolean> BooleanAtom::logical_not() const in logical_not() function in SymEngine::BooleanAtom
217 RCP<const Boolean> And::logical_not() const in logical_not() function in SymEngine::And
222 cont.insert(SymEngine::logical_not(a)); in logical_not()
279 RCP<const Boolean> Or::logical_not() const in logical_not() function in SymEngine::Or
284 cont.insert(SymEngine::logical_not(a)); in logical_not()
332 RCP<const Boolean> Not::logical_not() const in logical_not() function in SymEngine::Not
493 return s->logical_not(); in logical_not()
742 return logical_not(a); in logical_nand()
752 return logical_not(and_or<Or>(s, true)); in logical_nor()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/libcxx/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp21 typedef std::logical_not<int> F; in main()
28 typedef std::logical_not<> F2; in main()
35 constexpr bool foo = std::logical_not<int> () (36); in main()
38 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/libcxx/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp21 typedef std::logical_not<int> F; in main()
28 typedef std::logical_not<> F2; in main()
35 constexpr bool foo = std::logical_not<int> () (36); in main()
38 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/libcxx/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp23 typedef std::logical_not<int> F; in main()
32 typedef std::logical_not<> F2; in main()
39 constexpr bool foo = std::logical_not<int> () (36); in main()
42 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/www/chromium-legacy/chromium-88.0.4324.182/buildtools/third_party/libc++/trunk/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp21 typedef std::logical_not<int> F; in main()
28 typedef std::logical_not<> F2; in main()
35 constexpr bool foo = std::logical_not<int> () (36); in main()
38 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/libcxx/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp21 typedef std::logical_not<int> F; in main()
28 typedef std::logical_not<> F2; in main()
35 constexpr bool foo = std::logical_not<int> () (36); in main()
38 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/devel/libc++/libcxx-10.0.1.src/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp21 typedef std::logical_not<int> F; in main()
28 typedef std::logical_not<> F2; in main()
35 constexpr bool foo = std::logical_not<int> () (36); in main()
38 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/devel/llvm12/llvm-project-12.0.1.src/libcxx/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp21 typedef std::logical_not<int> F; in main()
28 typedef std::logical_not<> F2; in main()
35 constexpr bool foo = std::logical_not<int> () (36); in main()
38 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/libcxx/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp23 typedef std::logical_not<int> F; in main()
32 typedef std::logical_not<> F2; in main()
39 constexpr bool foo = std::logical_not<int> () (36); in main()
42 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/libcxx/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp23 typedef std::logical_not<int> F; in main()
32 typedef std::logical_not<> F2; in main()
39 constexpr bool foo = std::logical_not<int> () (36); in main()
42 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/libcxx/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp21 typedef std::logical_not<int> F; in main()
28 typedef std::logical_not<> F2; in main()
35 constexpr bool foo = std::logical_not<int> () (36); in main()
38 constexpr bool bar = std::logical_not<> () (36); in main()
/dports/devel/llvm13/llvm-project-13.0.1.src/libcxx/test/std/utilities/function.objects/logical.operations/
H A Dlogical_not.pass.cpp23 typedef std::logical_not<int> F;
32 typedef std::logical_not<> F2;
39 constexpr bool foo = std::logical_not<int> () (36);
42 constexpr bool bar = std::logical_not<> () (36);
/dports/lang/gcc12-devel/gcc-12-20211205/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/lang/gcc8/gcc-8.5.0/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/lang/gcc11/gcc-11.2.0/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/lang/gcc10/gcc-10.3.0/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/lang/gcc11-devel/gcc-11-20211009/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/devel/riscv64-gcc/gcc-8.3.0/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/devel/avr-gcc/gcc-10.2.0/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/lang/gnat_util/gcc-6-20180516/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc55 static_assert(std::logical_not<int>()(0), "");
59 static_assert(std::logical_not<void>()(0), "");
71 static_assert(std::unary_negate<std::logical_not<int>>
72 (std::logical_not<int>())(1), "");
73 static_assert(std::not1(std::logical_not<int>())(1), "");
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/libstdc++-v3/testsuite/20_util/function_objects/
H A Dconstexpr.cc54 static_assert(std::logical_not<int>()(0), "");
58 static_assert(std::logical_not<void>()(0), "");
70 static_assert(std::unary_negate<std::logical_not<int>>
71 (std::logical_not<int>())(1), "");
72 static_assert(std::not1(std::logical_not<int>())(1), "");

12345678910>>...54