| /dports/math/maxima/maxima-5.43.2/share/contrib/bitwise/ |
| H A D | rtest_bitwise.mac | 18 bit_not(8);
20 bit_not(x);
21 'bit_not(x)$
22 bit_not(bit_not(x));
24 bit_not(di);
44 bit_and(x,bit_not(x),y);
64 bit_or(x,bit_not(x),y);
85 'bit_not(x)$
90 bit_xor(x,bit_not(x));
93 'bit_xor(bit_not(y),z)$
[all …]
|
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_bit_expr.c | 432 test_or(bit_not(x), y); in multi_test()
433 test_or(x, bit_not(y)); in multi_test()
434 test_or(bit_not(x), bit_not(y)); in multi_test()
437 test_or(y, bit_not(x)); in multi_test()
438 test_or(bit_not(y), x); in multi_test()
439 test_or(bit_not(y), bit_not(x)); in multi_test()
442 test_xor(bit_not(x), y); in multi_test()
443 test_xor(x, bit_not(y)); in multi_test()
444 test_xor(bit_not(x), bit_not(y)); in multi_test()
447 test_xor(bit_not(y), x); in multi_test()
[all …]
|
| /dports/www/mediawiki135/mediawiki-1.35.5/extensions/Scribunto/includes/engines/LuaCommon/lualib/luabit/ |
| H A D | bit.lua | 135 local function bit_not(n) function
175 n = bit_not(math.abs(n)) + 1
191 n = bit_not(math.abs(n)) + 1
204 n = bit_not(math.abs(n)) + 1
214 local rhs = bit_or(bit_not(m), bit_not(n))
225 bnot = bit_not,
|
| /dports/www/mediawiki137/mediawiki-1.37.1/extensions/Scribunto/includes/engines/LuaCommon/lualib/luabit/ |
| H A D | bit.lua | 135 local function bit_not(n) function
175 n = bit_not(math.abs(n)) + 1
191 n = bit_not(math.abs(n)) + 1
204 n = bit_not(math.abs(n)) + 1
214 local rhs = bit_or(bit_not(m), bit_not(n))
225 bnot = bit_not,
|
| /dports/www/mediawiki136/mediawiki-1.36.3/extensions/Scribunto/includes/engines/LuaCommon/lualib/luabit/ |
| H A D | bit.lua | 135 local function bit_not(n) function
175 n = bit_not(math.abs(n)) + 1
191 n = bit_not(math.abs(n)) + 1
204 n = bit_not(math.abs(n)) + 1
214 local rhs = bit_or(bit_not(m), bit_not(n))
225 bnot = bit_not,
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/libcxx/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 22 typedef std::bit_not<int> F; in main()
31 typedef std::bit_not<> F2; in main()
42 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
45 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| H A D | transparent.pass.cpp | 43 static_assert ( !is_transparent<std::bit_not<int>>::value, "" ); in main()
44 static_assert ( !is_transparent<std::bit_not<std::string>>::value, "" ); in main()
45 static_assert ( is_transparent<std::bit_not<void>>::value, "" ); in main()
46 static_assert ( is_transparent<std::bit_not<>>::value, "" ); in main()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/libcxx/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 22 typedef std::bit_not<int> F; in main()
31 typedef std::bit_not<> F2; in main()
42 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
45 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| H A D | transparent.pass.cpp | 43 static_assert ( !is_transparent<std::bit_not<int>>::value, "" ); in main()
44 static_assert ( !is_transparent<std::bit_not<std::string>>::value, "" ); in main()
45 static_assert ( is_transparent<std::bit_not<void>>::value, "" ); in main()
46 static_assert ( is_transparent<std::bit_not<>>::value, "" ); in main()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/libcxx/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 24 typedef std::bit_not<int> F; in main()
35 typedef std::bit_not<> F2; in main()
46 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
49 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| H A D | transparent.pass.cpp | 43 static_assert ( !is_transparent<std::bit_not<int>>::value, "" ); in main()
44 static_assert ( !is_transparent<std::bit_not<std::string>>::value, "" ); in main()
45 static_assert ( is_transparent<std::bit_not<void>>::value, "" ); in main()
46 static_assert ( is_transparent<std::bit_not<>>::value, "" ); in main()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/buildtools/third_party/libc++/trunk/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 22 typedef std::bit_not<int> F; in main()
31 typedef std::bit_not<> F2; in main()
42 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
45 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| H A D | transparent.pass.cpp | 43 static_assert ( !is_transparent<std::bit_not<int>>::value, "" ); in main()
44 static_assert ( !is_transparent<std::bit_not<std::string>>::value, "" ); in main()
45 static_assert ( is_transparent<std::bit_not<void>>::value, "" ); in main()
46 static_assert ( is_transparent<std::bit_not<>>::value, "" ); in main()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/libcxx/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 22 typedef std::bit_not<int> F; in main()
31 typedef std::bit_not<> F2; in main()
42 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
45 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| H A D | transparent.pass.cpp | 43 static_assert ( !is_transparent<std::bit_not<int>>::value, "" ); in main()
44 static_assert ( !is_transparent<std::bit_not<std::string>>::value, "" ); in main()
45 static_assert ( is_transparent<std::bit_not<void>>::value, "" ); in main()
46 static_assert ( is_transparent<std::bit_not<>>::value, "" ); in main()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/libcxx/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 24 typedef std::bit_not<int> F; in main()
35 typedef std::bit_not<> F2; in main()
46 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
49 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| H A D | transparent.pass.cpp | 43 static_assert ( !is_transparent<std::bit_not<int>>::value, "" ); in main()
44 static_assert ( !is_transparent<std::bit_not<std::string>>::value, "" ); in main()
45 static_assert ( is_transparent<std::bit_not<void>>::value, "" ); in main()
46 static_assert ( is_transparent<std::bit_not<>>::value, "" ); in main()
|
| /dports/devel/libc++/libcxx-10.0.1.src/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 22 typedef std::bit_not<int> F; in main()
31 typedef std::bit_not<> F2; in main()
42 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
45 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| H A D | transparent.pass.cpp | 43 static_assert ( !is_transparent<std::bit_not<int>>::value, "" ); in main()
44 static_assert ( !is_transparent<std::bit_not<std::string>>::value, "" ); in main()
45 static_assert ( is_transparent<std::bit_not<void>>::value, "" ); in main()
46 static_assert ( is_transparent<std::bit_not<>>::value, "" ); in main()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/libcxx/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 24 typedef std::bit_not<int> F; in main()
35 typedef std::bit_not<> F2; in main()
46 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
49 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/libcxx/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 22 typedef std::bit_not<int> F; in main()
31 typedef std::bit_not<> F2; in main()
42 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
45 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/libcxx/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 22 typedef std::bit_not<int> F; in main()
31 typedef std::bit_not<> F2; in main()
42 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in main()
45 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in main()
|
| H A D | transparent.pass.cpp | 43 static_assert ( !is_transparent<std::bit_not<int>>::value, "" ); in main()
44 static_assert ( !is_transparent<std::bit_not<std::string>>::value, "" ); in main()
45 static_assert ( is_transparent<std::bit_not<void>>::value, "" ); in main()
46 static_assert ( is_transparent<std::bit_not<>>::value, "" ); in main()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/libcxx/test/std/utilities/function.objects/bitwise.operations/ |
| H A D | bit_not.pass.cpp | 24 typedef std::bit_not<int> F; in timeok()
35 typedef std::bit_not<> F2; in timeok()
46 constexpr int foo = std::bit_not<int> () (0xEA95) & 0xFFFF; in timeok()
49 constexpr int bar = std::bit_not<> () (0xEA95) & 0xFFFF; in timeok()
|
| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | bit_expr.h | 271 static inline bit_t bit_not(bit_t b) { in bit_not() function
309 return bit_not(bit_or2(table, bit_not(b1), bit_not(b2))); in bit_and2()
313 return bit_not(bit_xor2(table, b1, b2)); in bit_eq2()
317 return bit_not(bit_or2simplify(table, bit_not(b1), bit_not(b2))); in bit_and2simplify()
321 return bit_not(bit_xor2simplify(table, b1, b2)); in bit_eq2simplify()
|