/dports/math/eprover/eprover-E-2.0/EXAMPLE_PROBLEMS/TPTP/ |
H A D | PUZ028-6.p | 46 ( not_equal(n1,n2) )). 49 ( not_equal(n1,n3) )). 52 ( not_equal(n1,n4) )). 55 ( not_equal(n1,n5) )). 58 ( not_equal(n1,n6) )). 61 ( not_equal(n2,n1) )). 64 ( not_equal(n2,n3) )). 67 ( not_equal(n2,n4) )). 70 ( not_equal(n2,n5) )). 73 ( not_equal(n2,n6) )). [all …]
|
/dports/devel/boost-docs/boost_1_72_0/libs/hana/test/_include/auto/ |
H A D | take_while.hpp | 24 hana::take_while(MAKE_TUPLE(), hana::not_equal.to(z)), in __anonec79650e0102() 29 hana::take_while(MAKE_TUPLE(ct_eq<1>{}), hana::not_equal.to(z)), in __anonec79650e0102() 33 hana::take_while(MAKE_TUPLE(z), hana::not_equal.to(z)), in __anonec79650e0102() 38 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}), hana::not_equal.to(z)), in __anonec79650e0102() 42 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, z), hana::not_equal.to(z)), in __anonec79650e0102() 46 hana::take_while(MAKE_TUPLE(z, ct_eq<2>{}), hana::not_equal.to(z)), in __anonec79650e0102() 51 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::not_equal.to(z)), in __anonec79650e0102() 55 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, z), hana::not_equal.to(z)), in __anonec79650e0102() 59 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, z, ct_eq<3>{}), hana::not_equal.to(z)), in __anonec79650e0102() 63 hana::take_while(MAKE_TUPLE(z, ct_eq<2>{}, ct_eq<3>{}), hana::not_equal.to(z)), in __anonec79650e0102()
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/hana/test/_include/auto/ |
H A D | take_while.hpp | 24 hana::take_while(MAKE_TUPLE(), hana::not_equal.to(z)), in __anon96bd1e3e0102() 29 hana::take_while(MAKE_TUPLE(ct_eq<1>{}), hana::not_equal.to(z)), in __anon96bd1e3e0102() 33 hana::take_while(MAKE_TUPLE(z), hana::not_equal.to(z)), in __anon96bd1e3e0102() 38 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}), hana::not_equal.to(z)), in __anon96bd1e3e0102() 42 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, z), hana::not_equal.to(z)), in __anon96bd1e3e0102() 46 hana::take_while(MAKE_TUPLE(z, ct_eq<2>{}), hana::not_equal.to(z)), in __anon96bd1e3e0102() 51 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::not_equal.to(z)), in __anon96bd1e3e0102() 55 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, z), hana::not_equal.to(z)), in __anon96bd1e3e0102() 59 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, z, ct_eq<3>{}), hana::not_equal.to(z)), in __anon96bd1e3e0102() 63 hana::take_while(MAKE_TUPLE(z, ct_eq<2>{}, ct_eq<3>{}), hana::not_equal.to(z)), in __anon96bd1e3e0102()
|
/dports/devel/boost-libs/boost_1_72_0/libs/hana/test/_include/auto/ |
H A D | take_while.hpp | 24 hana::take_while(MAKE_TUPLE(), hana::not_equal.to(z)), in __anon4e71718f0102() 29 hana::take_while(MAKE_TUPLE(ct_eq<1>{}), hana::not_equal.to(z)), in __anon4e71718f0102() 33 hana::take_while(MAKE_TUPLE(z), hana::not_equal.to(z)), in __anon4e71718f0102() 38 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}), hana::not_equal.to(z)), in __anon4e71718f0102() 42 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, z), hana::not_equal.to(z)), in __anon4e71718f0102() 46 hana::take_while(MAKE_TUPLE(z, ct_eq<2>{}), hana::not_equal.to(z)), in __anon4e71718f0102() 51 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::not_equal.to(z)), in __anon4e71718f0102() 55 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, z), hana::not_equal.to(z)), in __anon4e71718f0102() 59 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, z, ct_eq<3>{}), hana::not_equal.to(z)), in __anon4e71718f0102() 63 hana::take_while(MAKE_TUPLE(z, ct_eq<2>{}, ct_eq<3>{}), hana::not_equal.to(z)), in __anon4e71718f0102()
|
/dports/devel/hyperscan/boost_1_75_0/libs/hana/test/_include/auto/ |
H A D | take_while.hpp | 24 hana::take_while(MAKE_TUPLE(), hana::not_equal.to(z)), in __anonb95e57c10102() 29 hana::take_while(MAKE_TUPLE(ct_eq<1>{}), hana::not_equal.to(z)), in __anonb95e57c10102() 33 hana::take_while(MAKE_TUPLE(z), hana::not_equal.to(z)), in __anonb95e57c10102() 38 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}), hana::not_equal.to(z)), in __anonb95e57c10102() 42 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, z), hana::not_equal.to(z)), in __anonb95e57c10102() 46 hana::take_while(MAKE_TUPLE(z, ct_eq<2>{}), hana::not_equal.to(z)), in __anonb95e57c10102() 51 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, ct_eq<3>{}), hana::not_equal.to(z)), in __anonb95e57c10102() 55 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, ct_eq<2>{}, z), hana::not_equal.to(z)), in __anonb95e57c10102() 59 hana::take_while(MAKE_TUPLE(ct_eq<1>{}, z, ct_eq<3>{}), hana::not_equal.to(z)), in __anonb95e57c10102() 63 hana::take_while(MAKE_TUPLE(z, ct_eq<2>{}, ct_eq<3>{}), hana::not_equal.to(z)), in __anonb95e57c10102()
|
/dports/lang/v8/v8-9.6.180.12/test/cctest/ |
H A D | test-macro-assembler-x64.cc | 106 __ j(not_equal, exit); in TestMoveSmi() 175 __ j(not_equal, exit); in TestSmiCompare() 178 __ j(not_equal, exit); in TestSmiCompare() 263 __ j(not_equal, &exit); in TEST() 270 __ j(not_equal, &exit); in TEST() 277 __ j(not_equal, &exit); in TEST() 284 __ j(not_equal, &exit); in TEST() 291 __ j(not_equal, &exit); in TEST() 300 __ j(not_equal, &exit); in TEST() 307 __ j(not_equal, &exit); in TEST() [all …]
|
H A D | test-assembler-x64.cc | 604 __ j(not_equal, &Fail); in TEST() 617 __ j(not_equal, &Fail); in TEST() 686 __ j(not_equal, &target); in TEST() 718 __ j(not_equal, &fail); in TEST() 720 __ j(not_equal, &fail); in TEST() 722 __ j(not_equal, &fail); in TEST() 724 __ j(not_equal, &fail); in TEST() 726 __ j(not_equal, &fail); in TEST() 728 __ j(not_equal, &fail); in TEST() 973 __ j(not_equal, &exit); in TEST() [all …]
|
H A D | test-assembler-ia32.cc | 319 __ j(not_equal, &target); in TEST() 351 __ j(not_equal, &fail); in TEST() 353 __ j(not_equal, &fail); in TEST() 355 __ j(not_equal, &fail); in TEST() 357 __ j(not_equal, &fail); in TEST() 359 __ j(not_equal, &fail); in TEST() 361 __ j(not_equal, &fail); in TEST() 607 __ j(not_equal, &exit); in TEST() 613 __ j(not_equal, &exit); in TEST() 619 __ j(not_equal, &exit); in TEST() [all …]
|
/dports/lang/go-devel/go-dragonfly-amd64-bootstrap/src/internal/bytealg/ |
H A D | equal_arm64.s | 71 CBZ R4, not_equal 72 CBZ R5, not_equal 85 CBNZ R7, not_equal 87 CBNZ R9, not_equal 98 CBNZ R5, not_equal 103 CBNZ R5, not_equal 110 CBNZ R5, not_equal 115 CBNZ R5, not_equal 122 BNE not_equal 129 BNE not_equal [all …]
|
/dports/lang/go-devel/go-becaeea1199b875bc24800fa88f2f4fea119bf78/src/internal/bytealg/ |
H A D | equal_arm64.s | 83 CBZ R4, not_equal 84 CBZ R5, not_equal 97 CBNZ R7, not_equal 99 CBNZ R9, not_equal 110 CBNZ R5, not_equal 115 CBNZ R5, not_equal 122 CBNZ R5, not_equal 127 CBNZ R5, not_equal 134 BNE not_equal 141 BNE not_equal [all …]
|
/dports/devel/boost-docs/boost_1_72_0/libs/hana/example/ |
H A D | not_equal.cpp | 13 static_assert(hana::not_equal(hana::make_tuple(1, 2), hana::make_tuple(3)), ""); in main() 14 static_assert(hana::not_equal('x', 'y'), ""); in main() 15 BOOST_HANA_CONSTANT_CHECK(hana::not_equal(hana::make_tuple(1, 2), 'y')); in main() 17 static_assert(hana::all_of(hana::make_tuple(1, 2, 3), hana::not_equal.to(5)), ""); in main()
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/hana/example/ |
H A D | not_equal.cpp | 13 static_assert(hana::not_equal(hana::make_tuple(1, 2), hana::make_tuple(3)), ""); in main() 14 static_assert(hana::not_equal('x', 'y'), ""); in main() 15 BOOST_HANA_CONSTANT_CHECK(hana::not_equal(hana::make_tuple(1, 2), 'y')); in main() 17 static_assert(hana::all_of(hana::make_tuple(1, 2, 3), hana::not_equal.to(5)), ""); in main()
|
/dports/devel/boost-libs/boost_1_72_0/libs/hana/example/ |
H A D | not_equal.cpp | 13 static_assert(hana::not_equal(hana::make_tuple(1, 2), hana::make_tuple(3)), ""); in main() 14 static_assert(hana::not_equal('x', 'y'), ""); in main() 15 BOOST_HANA_CONSTANT_CHECK(hana::not_equal(hana::make_tuple(1, 2), 'y')); in main() 17 static_assert(hana::all_of(hana::make_tuple(1, 2, 3), hana::not_equal.to(5)), ""); in main()
|
/dports/devel/hyperscan/boost_1_75_0/libs/hana/example/ |
H A D | not_equal.cpp | 13 static_assert(hana::not_equal(hana::make_tuple(1, 2), hana::make_tuple(3)), ""); in main() 14 static_assert(hana::not_equal('x', 'y'), ""); in main() 15 BOOST_HANA_CONSTANT_CHECK(hana::not_equal(hana::make_tuple(1, 2), 'y')); in main() 17 static_assert(hana::all_of(hana::make_tuple(1, 2, 3), hana::not_equal.to(5)), ""); in main()
|
/dports/emulators/dolphin-emu/dolphin-3152428/Source/Core/Core/DSP/Jit/x64/ |
H A D | DSPJitExtOps.cpp | 384 FixupBranch not_equal = J_CC(CC_NE, true); in ld() local 388 SetJumpTarget(not_equal); // else in ld() 415 FixupBranch not_equal = J_CC(CC_NE, true); in ldax() local 419 SetJumpTarget(not_equal); in ldax() 447 FixupBranch not_equal = J_CC(CC_NE, true); in ldn() local 451 SetJumpTarget(not_equal); // else in ldn() 482 SetJumpTarget(not_equal); in ldaxn() 514 SetJumpTarget(not_equal); // else in ldm() 545 SetJumpTarget(not_equal); in ldaxm() 577 SetJumpTarget(not_equal); // else in ldnm() [all …]
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/megaco/test/ |
H A D | megaco_test_msg_v2_lib.erl | 1723 not_equal('MId', M1, M2); 1785 not_equal('PathName', N1, N2). 2129 not_equal(errorCode, C1, C2); 4760 not_equal('Name', N1, N2); 6767 not_equal('Value', V1, V2); 6792 not_equal('BOOLEAN', B1, B2); 6884 not_equal('NULL', N1, N2); 6921 not_equal('INTEGER', I1, I2); 6976 not_equal(Type, V1, V2); 6983 not_equal(Type, V1, V2); [all …]
|
H A D | megaco_test_msg_prev3a_lib.erl | 1952 not_equal('MId', M1, M2); 2014 not_equal('PathName', N1, N2). 2381 not_equal(errorCode, C1, C2); 5179 not_equal('Name', N1, N2); 7227 not_equal('Value', V1, V2); 7252 not_equal('BOOLEAN', B1, B2); 7344 not_equal('NULL', N1, N2); 7387 not_equal('INTEGER', I1, I2); 7442 not_equal(Type, V1, V2); 7449 not_equal(Type, V1, V2); [all …]
|
H A D | megaco_test_msg_prev3b_lib.erl | 1945 not_equal('MId', M1, M2); 2007 not_equal('PathName', N1, N2). 2374 not_equal(errorCode, C1, C2); 5172 not_equal('Name', N1, N2); 7220 not_equal('Value', V1, V2); 7245 not_equal('BOOLEAN', B1, B2); 7337 not_equal('NULL', N1, N2); 7373 not_equal('INTEGER', I1, I2); 7428 not_equal(Type, V1, V2); 7435 not_equal(Type, V1, V2); [all …]
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/megaco/test/ |
H A D | megaco_test_msg_v2_lib.erl | 1723 not_equal('MId', M1, M2); 1785 not_equal('PathName', N1, N2). 2129 not_equal(errorCode, C1, C2); 4760 not_equal('Name', N1, N2); 6767 not_equal('Value', V1, V2); 6792 not_equal('BOOLEAN', B1, B2); 6884 not_equal('NULL', N1, N2); 6921 not_equal('INTEGER', I1, I2); 6976 not_equal(Type, V1, V2); 6983 not_equal(Type, V1, V2); [all …]
|
H A D | megaco_test_msg_prev3b_lib.erl | 1945 not_equal('MId', M1, M2); 2007 not_equal('PathName', N1, N2). 2374 not_equal(errorCode, C1, C2); 5172 not_equal('Name', N1, N2); 7220 not_equal('Value', V1, V2); 7245 not_equal('BOOLEAN', B1, B2); 7337 not_equal('NULL', N1, N2); 7373 not_equal('INTEGER', I1, I2); 7428 not_equal(Type, V1, V2); 7435 not_equal(Type, V1, V2); [all …]
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/megaco/test/ |
H A D | megaco_test_msg_v2_lib.erl | 1723 not_equal('MId', M1, M2); 1785 not_equal('PathName', N1, N2). 2129 not_equal(errorCode, C1, C2); 4760 not_equal('Name', N1, N2); 6767 not_equal('Value', V1, V2); 6792 not_equal('BOOLEAN', B1, B2); 6884 not_equal('NULL', N1, N2); 6921 not_equal('INTEGER', I1, I2); 6976 not_equal(Type, V1, V2); 6983 not_equal(Type, V1, V2); [all …]
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/megaco/test/ |
H A D | megaco_test_msg_v2_lib.erl | 1723 not_equal('MId', M1, M2); 1785 not_equal('PathName', N1, N2). 2129 not_equal(errorCode, C1, C2); 4760 not_equal('Name', N1, N2); 6767 not_equal('Value', V1, V2); 6792 not_equal('BOOLEAN', B1, B2); 6884 not_equal('NULL', N1, N2); 6921 not_equal('INTEGER', I1, I2); 6976 not_equal(Type, V1, V2); 6983 not_equal(Type, V1, V2); [all …]
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/megaco/test/ |
H A D | megaco_test_msg_v2_lib.erl | 1723 not_equal('MId', M1, M2); 1785 not_equal('PathName', N1, N2). 2129 not_equal(errorCode, C1, C2); 4760 not_equal('Name', N1, N2); 6767 not_equal('Value', V1, V2); 6792 not_equal('BOOLEAN', B1, B2); 6884 not_equal('NULL', N1, N2); 6921 not_equal('INTEGER', I1, I2); 6976 not_equal(Type, V1, V2); 6983 not_equal(Type, V1, V2); [all …]
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/megaco/test/ |
H A D | megaco_test_msg_v2_lib.erl | 1723 not_equal('MId', M1, M2); 1785 not_equal('PathName', N1, N2). 2129 not_equal(errorCode, C1, C2); 4760 not_equal('Name', N1, N2); 6767 not_equal('Value', V1, V2); 6792 not_equal('BOOLEAN', B1, B2); 6884 not_equal('NULL', N1, N2); 6921 not_equal('INTEGER', I1, I2); 6976 not_equal(Type, V1, V2); 6983 not_equal(Type, V1, V2); [all …]
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/megaco/test/ |
H A D | megaco_test_msg_v2_lib.erl | 1723 not_equal('MId', M1, M2); 1785 not_equal('PathName', N1, N2). 2129 not_equal(errorCode, C1, C2); 4760 not_equal('Name', N1, N2); 6767 not_equal('Value', V1, V2); 6792 not_equal('BOOLEAN', B1, B2); 6884 not_equal('NULL', N1, N2); 6921 not_equal('INTEGER', I1, I2); 6976 not_equal(Type, V1, V2); 6983 not_equal(Type, V1, V2); [all …]
|