| /dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
| H A D | integer.cc | 221 if (i_lit.bound <= (*domains_)[i_lit.var].Min()) { in GetOrCreateAssociatedLiteral()
224 if (i_lit.bound > (*domains_)[i_lit.var].Max()) { in GetOrCreateAssociatedLiteral()
772 DCHECK_LE(i_lit.bound, vars_[i_lit.var].current_bound); in FindLowestTrailIndexThatExplainBound()
1099 if (i_lit.bound > vars_[i_lit.var].current_bound) { in ReasonIsValid()
1126 if (LevelZeroLowerBound(i_lit.var) < i_lit.bound) { in ReasonIsValid()
1437 vars_[i_lit.var].current_bound = i_lit.bound; in EnqueueInternal()
1438 integer_trail_[i_lit.var.value()].bound = i_lit.bound; in EnqueueInternal()
1480 vars_[i_lit.var].current_bound = i_lit.bound; in EnqueueInternal()
1498 if (i_lit.bound > UpperBound(i_lit.var)) { in EnqueueAssociatedIntegerLiteral()
1509 vars_[i_lit.var].current_bound = i_lit.bound; in EnqueueAssociatedIntegerLiteral()
[all …]
|
| /dports/lang/gcc8/gcc-8.5.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc11/gcc-11.2.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc12-devel/gcc-12-20211205/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc10/gcc-10.3.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc11-devel/gcc-11-20211009/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/avr-gcc/gcc-10.2.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc9-devel/gcc-9-20211007/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc9/gcc-9.4.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc10-devel/gcc-10-20211008/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc9-aux/gcc-9.1.0/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 53 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
55 int size = wcslen(i_lit); in test03()
69 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
72 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 52 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
54 int size = wcslen(i_lit); in test03()
68 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
71 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 54 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
56 int size = wcslen(i_lit); in test03()
70 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
73 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 54 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
56 int size = wcslen(i_lit); in test03()
70 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
73 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 52 const int_type i_lit[] = { L'a', 0x20ac, 0x0 };
54 int size = wcslen(i_lit);
68 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next,
71 VERIFY( ifrom_next == i_lit + 1 );
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 54 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
56 int size = wcslen(i_lit); in test03()
70 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
73 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gcc48/gcc-4.8.5/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 54 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
56 int size = wcslen(i_lit); in test03()
70 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
73 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/lang/gnat_util/gcc-6-20180516/libstdc++-v3/testsuite/22_locale/codecvt/out/wchar_t/ |
| H A D | 7.cc | 54 const int_type i_lit[] = { L'a', 0x20ac, 0x0 }; in test03() local
56 int size = wcslen(i_lit); in test03()
70 result r2 = cvt->out(state02, i_lit, i_lit + size, ifrom_next, in test03()
73 VERIFY( ifrom_next == i_lit + 1 ); in test03()
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/libstdc++-v3/testsuite/22_locale/codecvt/unicode/ |
| H A D | char.cc | 140 const int_type* i_lit = reinterpret_cast<int_type*>(i_lit_base); in test01() local
163 VERIFY( !int_traits::compare(i_arr, i_lit, size) ); in test01()
170 result r2 = cvt.out(state02, i_lit, i_lit + size, ifrom_next, in test01()
174 VERIFY( ifrom_next == i_lit + size ); in test01()
229 const int_type* i_lit = reinterpret_cast<int_type*>(i_lit_base); in test02() local
251 VERIFY( !int_traits::compare(i_arr, i_lit, size) ); in test02()
258 result r2 = cvt.out(state02, i_lit, i_lit + size, ifrom_next, in test02()
262 VERIFY( ifrom_next == i_lit + size ); in test02()
|