Home
last modified time | relevance | path

Searched refs:disjunction (Results 1 – 25 of 1623) sorted by relevance

12345678910>>...65

/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/libcxx/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/libcxx/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/libcxx/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/buildtools/third_party/libc++/trunk/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/libcxx/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/devel/llvm12/llvm-project-12.0.1.src/libcxx/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/libcxx/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/devel/libc++/libcxx-10.0.1.src/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/libcxx/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/libcxx/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" ); in main()
27 static_assert ( std::disjunction<std::true_type >::value, "" ); in main()
28 static_assert (!std::disjunction<std::false_type>::value, "" ); in main()
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" ); in main()
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" ); in main()
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" ); in main()
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" ); in main()
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" ); in main()
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" ); in main()
62 static_assert ( std::disjunction<True >::value, "" ); in main()
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/libcxx/test/std/utilities/meta/meta.logical/
H A Ddisjunction.pass.cpp26 static_assert (!std::disjunction<>::value, "" );
27 static_assert ( std::disjunction<std::true_type >::value, "" );
28 static_assert (!std::disjunction<std::false_type>::value, "" );
34 static_assert ( std::disjunction<std::true_type, std::true_type >::value, "" );
35 static_assert ( std::disjunction<std::true_type, std::false_type>::value, "" );
36 static_assert ( std::disjunction<std::false_type, std::true_type >::value, "" );
37 static_assert (!std::disjunction<std::false_type, std::false_type>::value, "" );
44 … static_assert ( std::disjunction<std::true_type, std::true_type, std::true_type >::value, "" );
45 … static_assert ( std::disjunction<std::true_type, std::false_type, std::true_type >::value, "" );
62 static_assert ( std::disjunction<True >::value, "" );
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/base/
H A Dtemplate_util_unittest.cc156 static_assert(!disjunction<>::value, "");
157 static_assert(disjunction<TrueT>::value, "");
158 static_assert(!disjunction<FalseT>::value, "");
160 static_assert(disjunction<TrueT, TrueT>::value, "");
161 static_assert(disjunction<TrueT, FalseT>::value, "");
162 static_assert(disjunction<FalseT, TrueT>::value, "");
163 static_assert(!disjunction<FalseT, FalseT>::value, "");
165 static_assert(disjunction<TrueT, TrueT, TrueT>::value, "");
166 static_assert(disjunction<TrueT, TrueT, FalseT>::value, "");
174 static_assert(disjunction<True>::value, "");
[all …]
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/base/
H A Dtemplate_util_unittest.cc156 static_assert(!disjunction<>::value, "");
157 static_assert(disjunction<TrueT>::value, "");
158 static_assert(!disjunction<FalseT>::value, "");
160 static_assert(disjunction<TrueT, TrueT>::value, "");
161 static_assert(disjunction<TrueT, FalseT>::value, "");
162 static_assert(disjunction<FalseT, TrueT>::value, "");
163 static_assert(!disjunction<FalseT, FalseT>::value, "");
165 static_assert(disjunction<TrueT, TrueT, TrueT>::value, "");
166 static_assert(disjunction<TrueT, TrueT, FalseT>::value, "");
174 static_assert(disjunction<True>::value, "");
[all …]
/dports/lang/maude/maude-2.7.1/src/Core/
H A DdisjunctiveSubproblemAccumulator.cc60 delete disjunction; in ~DisjunctiveSubproblemAccumulator()
78 disjunction = 0; in addOption()
82 if (disjunction == 0) in addOption()
84 disjunction = new SubproblemDisjunction; in addOption()
85 disjunction->addOption(firstDifference, firstSubproblem, firstExtensionInfo); in addOption()
90 disjunction->addOption(local - global, in addOption()
110 if (disjunction == 0) in extract()
138 returnedSubproblem = disjunction; in extract()
139 disjunction = 0; // so dtor won't delete it in extract()
/dports/devel/hyperscan/boost_1_75_0/libs/type_traits/doc/
H A Ddisjunction.qbk10 [section:disjunction disjunction]
13 struct disjunction;
19 __header `#include <boost/type_traits/disjunction.hpp>`
21 [all_compilers] In the absence of variadic-template support, `disjunction` has
28 [:`disjunction<>` inherits from `__false_type`.]
30 [:`disjunction<Int<1> >` inherits from `Int<1>`.]
32 [:`disjunction<Int<1>, Int<2>, Int<3> >` inherits from `Int<1>`.]
34 [:`disjunction<Int<0>, Int<2>, Int<3> >` inherits from `Int<2>`.]
/dports/devel/hyperscan/boost_1_75_0/libs/type_traits/test/
H A Ddisjunction_test.cpp21 TT_TEST_BEGIN(disjunction)
23 BOOST_CHECK_INTEGRAL_CONSTANT((::tt::disjunction<Int<2>, Int<4> >::value), 2);
24 BOOST_CHECK_INTEGRAL_CONSTANT((::tt::disjunction<Int<0>, Int<4> >::value), 4);
27 BOOST_CHECK_INTEGRAL_CONSTANT((::tt::disjunction<Int<2>, Int<4>, Int<6>,
29 BOOST_CHECK_INTEGRAL_CONSTANT((::tt::disjunction<Int<0>, Int<0>, Int<6>,
31 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::disjunction<Int<4> >::value, 4);
32 BOOST_CHECK_INTEGRAL_CONSTANT(::tt::disjunction<>::value, false);
/dports/lang/mit-scheme/mit-scheme-9.2/src/runtime/
H A Dscomb.scm131 (object-type? (ucode-type disjunction) object))
133 (define-guarantee disjunction "SCode disjunction") unknown
135 (define (disjunction-predicate disjunction)
136 (guarantee-disjunction disjunction 'DISJUNCTION-PREDICATE)
137 (&pair-car disjunction))
139 (define (disjunction-alternative disjunction)
140 (guarantee-disjunction disjunction 'DISJUNCTION-ALTERNATIVE)
141 (&pair-cdr disjunction))
143 (define (disjunction-components disjunction receiver)
144 (receiver (disjunction-predicate disjunction)
[all …]
/dports/lang/gcc12-devel/gcc-12-20211205/libstdc++-v3/testsuite/20_util/logical_traits/
H A Dvalue.cc27 static_assert(!std::disjunction<>{}); in test01()
30 static_assert(std::disjunction<std::true_type>{}); in test01()
31 static_assert(!std::disjunction<std::false_type>{}); in test01()
34 static_assert(std::disjunction<std::false_type, std::true_type>{}); in test01()
35 static_assert(!std::disjunction<std::false_type, std::false_type>{}); in test01()
40 static_assert(std::disjunction<std::false_type, std::false_type, in test01()
42 static_assert(!std::disjunction<std::false_type, std::false_type, in test01()
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libstdc++-v3/testsuite/20_util/logical_traits/
H A Dvalue.cc28 static_assert(!std::disjunction<>{}); in test01()
31 static_assert(std::disjunction<std::true_type>{}); in test01()
32 static_assert(!std::disjunction<std::false_type>{}); in test01()
35 static_assert(std::disjunction<std::false_type, std::true_type>{}); in test01()
36 static_assert(!std::disjunction<std::false_type, std::false_type>{}); in test01()
41 static_assert(std::disjunction<std::false_type, std::false_type, in test01()
43 static_assert(!std::disjunction<std::false_type, std::false_type, in test01()
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libstdc++-v3/testsuite/20_util/logical_traits/
H A Dvalue.cc28 static_assert(!std::disjunction<>{}); in test01()
31 static_assert(std::disjunction<std::true_type>{}); in test01()
32 static_assert(!std::disjunction<std::false_type>{}); in test01()
35 static_assert(std::disjunction<std::false_type, std::true_type>{}); in test01()
36 static_assert(!std::disjunction<std::false_type, std::false_type>{}); in test01()
41 static_assert(std::disjunction<std::false_type, std::false_type, in test01()
43 static_assert(!std::disjunction<std::false_type, std::false_type, in test01()
/dports/lang/gcc10/gcc-10.3.0/libstdc++-v3/testsuite/20_util/logical_traits/
H A Dvalue.cc28 static_assert(!std::disjunction<>{}); in test01()
31 static_assert(std::disjunction<std::true_type>{}); in test01()
32 static_assert(!std::disjunction<std::false_type>{}); in test01()
35 static_assert(std::disjunction<std::false_type, std::true_type>{}); in test01()
36 static_assert(!std::disjunction<std::false_type, std::false_type>{}); in test01()
41 static_assert(std::disjunction<std::false_type, std::false_type, in test01()
43 static_assert(!std::disjunction<std::false_type, std::false_type, in test01()
/dports/lang/gcc11-devel/gcc-11-20211009/libstdc++-v3/testsuite/20_util/logical_traits/
H A Dvalue.cc27 static_assert(!std::disjunction<>{}); in test01()
30 static_assert(std::disjunction<std::true_type>{}); in test01()
31 static_assert(!std::disjunction<std::false_type>{}); in test01()
34 static_assert(std::disjunction<std::false_type, std::true_type>{}); in test01()
35 static_assert(!std::disjunction<std::false_type, std::false_type>{}); in test01()
40 static_assert(std::disjunction<std::false_type, std::false_type, in test01()
42 static_assert(!std::disjunction<std::false_type, std::false_type, in test01()
/dports/devel/avr-gcc/gcc-10.2.0/libstdc++-v3/testsuite/20_util/logical_traits/
H A Dvalue.cc28 static_assert(!std::disjunction<>{}); in test01()
31 static_assert(std::disjunction<std::true_type>{}); in test01()
32 static_assert(!std::disjunction<std::false_type>{}); in test01()
35 static_assert(std::disjunction<std::false_type, std::true_type>{}); in test01()
36 static_assert(!std::disjunction<std::false_type, std::false_type>{}); in test01()
41 static_assert(std::disjunction<std::false_type, std::false_type, in test01()
43 static_assert(!std::disjunction<std::false_type, std::false_type, in test01()
/dports/lang/gnat_util/gcc-6-20180516/libstdc++-v3/testsuite/20_util/logical_traits/
H A Dvalue.cc28 static_assert(!std::disjunction<>{}); in test01()
31 static_assert(std::disjunction<std::true_type>{}); in test01()
32 static_assert(!std::disjunction<std::false_type>{}); in test01()
35 static_assert(std::disjunction<std::false_type, std::true_type>{}); in test01()
36 static_assert(!std::disjunction<std::false_type, std::false_type>{}); in test01()
41 static_assert(std::disjunction<std::false_type, std::false_type, in test01()
43 static_assert(!std::disjunction<std::false_type, std::false_type, in test01()
/dports/devel/riscv64-gcc/gcc-8.3.0/libstdc++-v3/testsuite/20_util/logical_traits/
H A Dvalue.cc28 static_assert(!std::disjunction<>{}); in test01()
31 static_assert(std::disjunction<std::true_type>{}); in test01()
32 static_assert(!std::disjunction<std::false_type>{}); in test01()
35 static_assert(std::disjunction<std::false_type, std::true_type>{}); in test01()
36 static_assert(!std::disjunction<std::false_type, std::false_type>{}); in test01()
41 static_assert(std::disjunction<std::false_type, std::false_type, in test01()
43 static_assert(!std::disjunction<std::false_type, std::false_type, in test01()

12345678910>>...65