Home
last modified time | relevance | path

Searched refs:not_equal (Results 1 – 25 of 1973) sorted by relevance

12345678910>>...79

/dports/math/eprover/eprover-E-2.0/EXAMPLE_PROBLEMS/TPTP/
H A DPUZ028-6.p46 ( 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 Dtake_while.hpp24 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 Dtake_while.hpp24 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 Dtake_while.hpp24 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 Dtake_while.hpp24 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 Dtest-macro-assembler-x64.cc106 __ 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 Dtest-assembler-x64.cc604 __ 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 Dtest-assembler-ia32.cc319 __ 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 Dequal_arm64.s71 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 Dequal_arm64.s83 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 Dnot_equal.cpp13 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 Dnot_equal.cpp13 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 Dnot_equal.cpp13 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 Dnot_equal.cpp13 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 DDSPJitExtOps.cpp384 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 Dmegaco_test_msg_v2_lib.erl1723 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 Dmegaco_test_msg_prev3a_lib.erl1952 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 Dmegaco_test_msg_prev3b_lib.erl1945 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 Dmegaco_test_msg_v2_lib.erl1723 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 Dmegaco_test_msg_prev3b_lib.erl1945 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 Dmegaco_test_msg_v2_lib.erl1723 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 Dmegaco_test_msg_v2_lib.erl1723 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 Dmegaco_test_msg_v2_lib.erl1723 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 Dmegaco_test_msg_v2_lib.erl1723 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 Dmegaco_test_msg_v2_lib.erl1723 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 …]

12345678910>>...79