| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | reducedb.cpp | 150 cout << i << " offset: " << offset << " cl->stats.last_touched: " << cl->stats.last_touched in sort_red_cls()
315 cout << "offset: " << offset << " cl->stats.last_touched: " << cl->stats.last_touched in handle_lev1()
334 && cl->stats.last_touched + must_touch < solver->sumConflicts in handle_lev1()
417 assert(cl->stats.last_touched <= (int64_t)solver->sumConflicts); in handle_lev2_predictor()
419 (int64_t)solver->sumConflicts-(int64_t)cl->stats.last_touched; in handle_lev2_predictor()
443 cl->stats.rdb1_last_touched = cl->stats.last_touched; in handle_lev2_predictor()
553 (int64_t)solver->sumConflicts-(int64_t)cl->stats.last_touched; in handle_lev2_predictor()
609 (int64_t)solver->sumConflicts-(int64_t)cl->stats.last_touched; in handle_lev2_predictor()
704 cout << "offset: " << offset << " cl->stats.last_touched: " << cl->stats.last_touched in mark_top_N_clauses()
786 … cout << "REMOVING offset: " << offset << " cl->stats.last_touched: " << cl->stats.last_touched in remove_cl_from_lev2()
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | reducedb.cpp | 150 cout << i << " offset: " << offset << " cl->stats.last_touched: " << cl->stats.last_touched in sort_red_cls()
315 cout << "offset: " << offset << " cl->stats.last_touched: " << cl->stats.last_touched in handle_lev1()
334 && cl->stats.last_touched + must_touch < solver->sumConflicts in handle_lev1()
417 assert(cl->stats.last_touched <= (int64_t)solver->sumConflicts); in handle_lev2_predictor()
419 (int64_t)solver->sumConflicts-(int64_t)cl->stats.last_touched; in handle_lev2_predictor()
443 cl->stats.rdb1_last_touched = cl->stats.last_touched; in handle_lev2_predictor()
553 (int64_t)solver->sumConflicts-(int64_t)cl->stats.last_touched; in handle_lev2_predictor()
609 (int64_t)solver->sumConflicts-(int64_t)cl->stats.last_touched; in handle_lev2_predictor()
704 cout << "offset: " << offset << " cl->stats.last_touched: " << cl->stats.last_touched in mark_top_N_clauses()
786 … cout << "REMOVING offset: " << offset << " cl->stats.last_touched: " << cl->stats.last_touched in remove_cl_from_lev2()
|
| /dports/devel/emscripten/emscripten-2.0.3/tests/third_party/freetype/src/autofit/ |
| H A D | afhints.c | 1029 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1049 last_touched = point; in af_glyph_hints_align_weak_points()
1060 last_touched = point; in af_glyph_hints_align_weak_points()
1076 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1077 last_touched, point ); in af_glyph_hints_align_weak_points()
1082 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1088 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1089 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1090 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1094 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/net-p2p/libtorrent/libtorrent-0.13.8/src/torrent/data/ |
| H A D | file_manager.cc | 125 if (f->is_open() && f->last_touched() <= m_last) { in operator ()()
126 m_last = f->last_touched(); in operator ()()
|
| /dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/freetype/src/autofit/ |
| H A D | afhints.c | 1151 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1171 last_touched = point; in af_glyph_hints_align_weak_points()
1182 last_touched = point; in af_glyph_hints_align_weak_points()
1198 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1199 last_touched, point ); in af_glyph_hints_align_weak_points()
1204 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1210 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1211 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1212 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1216 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/games/supertux2/SuperTux-v0.6.3-Source/external/SDL_ttf/external/freetype-2.4.12/src/autofit/ |
| H A D | afhints.c | 1206 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1226 last_touched = point; in af_glyph_hints_align_weak_points()
1238 last_touched = point; in af_glyph_hints_align_weak_points()
1254 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1255 last_touched, point ); in af_glyph_hints_align_weak_points()
1260 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1265 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1266 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1267 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1271 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/devel/upp/upp/bazaar/FreeType/src/autofit/ |
| H A D | afhints.c | 1231 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1251 last_touched = point; in af_glyph_hints_align_weak_points()
1263 last_touched = point; in af_glyph_hints_align_weak_points()
1279 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1280 last_touched, point ); in af_glyph_hints_align_weak_points()
1285 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1290 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1291 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1292 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1296 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/devel/upp/upp/uppsrc/plugin/FT_fontsys/src/autofit/ |
| H A D | afhints.c | 1184 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1204 last_touched = point; in af_glyph_hints_align_weak_points()
1216 last_touched = point; in af_glyph_hints_align_weak_points()
1232 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1233 last_touched, point ); in af_glyph_hints_align_weak_points()
1238 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1243 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1244 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1245 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1249 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/math/vtk8/VTK-8.2.0/ThirdParty/freetype/vtkfreetype/src/autofit/ |
| H A D | afhints.c | 1184 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1204 last_touched = point; in af_glyph_hints_align_weak_points()
1216 last_touched = point; in af_glyph_hints_align_weak_points()
1232 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1233 last_touched, point ); in af_glyph_hints_align_weak_points()
1238 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1243 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1244 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1245 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1249 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/math/vtk6/VTK-6.2.0/ThirdParty/freetype/vtkfreetype/src/autofit/ |
| H A D | afhints.c | 1184 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1204 last_touched = point; in af_glyph_hints_align_weak_points()
1216 last_touched = point; in af_glyph_hints_align_weak_points()
1232 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1233 last_touched, point ); in af_glyph_hints_align_weak_points()
1238 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1243 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1244 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1245 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1249 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/games/warmux/warmux-11.04/build/android/jni/freetype/src/autofit/ |
| H A D | afhints.c | 1152 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1172 last_touched = point; in af_glyph_hints_align_weak_points()
1183 last_touched = point; in af_glyph_hints_align_weak_points()
1199 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1200 last_touched, point ); in af_glyph_hints_align_weak_points()
1205 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1211 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1212 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1213 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1217 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/print/tex-xdvik/xdvik-22.87/libs/freetype2/freetype-2.5.3/src/autofit/ |
| H A D | afhints.c | 1239 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1270 last_touched = point; in af_glyph_hints_align_weak_points()
1286 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1287 last_touched, point ); in af_glyph_hints_align_weak_points()
1292 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1297 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1298 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1299 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1303 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/multimedia/gstreamer1-validate/gst-validate-1.16.1/launcher/apps/ |
| H A D | gstcheck.py | 222 last_touched = os.stat(binary).st_mtime
225 return last_touched, []
228 elif test_info[0] == last_touched:
233 return last_touched, []
|
| /dports/games/OpenTomb/OpenTomb-win32-2018-02-03_alpha/extern/freetype2/src/autofit/ |
| H A D | afhints.hpp | 1332 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1363 last_touched = point; in af_glyph_hints_align_weak_points()
1379 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1380 last_touched, point ); in af_glyph_hints_align_weak_points()
1385 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1390 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1391 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1392 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1396 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/audio/musescore/MuseScore-3.6.1/thirdparty/freetype/src/autofit/ |
| H A D | afhints.c | 1395 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1426 last_touched = point; in af_glyph_hints_align_weak_points()
1442 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1443 last_touched, point ); in af_glyph_hints_align_weak_points()
1448 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1453 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1454 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1455 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1459 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/databases/qt5-sql/kde-qtbase-5.15.2p263/src/3rdparty/freetype/src/autofit/ |
| H A D | afhints.c | 1606 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1637 last_touched = point; in af_glyph_hints_align_weak_points()
1653 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1654 last_touched, point ); in af_glyph_hints_align_weak_points()
1659 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1664 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1665 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1666 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1670 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/games/libretro-scummvm/scummvm-7b1e929/backends/platform/libretro/deps/freetype/src/autofit/ |
| H A D | afhints.c | 1532 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1563 last_touched = point; in af_glyph_hints_align_weak_points()
1579 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1580 last_touched, point ); in af_glyph_hints_align_weak_points()
1585 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1590 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1591 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1592 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1596 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/print/ttfautohint/ttfautohint-1.8.4/lib/ |
| H A D | tahints.c | 1611 TA_Point first_touched, last_touched; in ta_glyph_hints_align_weak_points() local
1639 last_touched = point; in ta_glyph_hints_align_weak_points()
1655 ta_iup_interp(last_touched + 1, point - 1, in ta_glyph_hints_align_weak_points()
1656 last_touched, point); in ta_glyph_hints_align_weak_points()
1661 if (last_touched == first_touched) in ta_glyph_hints_align_weak_points()
1666 if (last_touched < end_point) in ta_glyph_hints_align_weak_points()
1667 ta_iup_interp(last_touched + 1, end_point, in ta_glyph_hints_align_weak_points()
1668 last_touched, first_touched); in ta_glyph_hints_align_weak_points()
1672 last_touched, first_touched); in ta_glyph_hints_align_weak_points()
|
| /dports/games/iortcw/iortcw-1.51c/MP/code/freetype-2.9/src/autofit/ |
| H A D | afhints.c | 1545 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1576 last_touched = point; in af_glyph_hints_align_weak_points()
1592 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1593 last_touched, point ); in af_glyph_hints_align_weak_points()
1598 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1603 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1604 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1605 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1609 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/games/iortcw/iortcw-1.51c/SP/code/freetype-2.9/src/autofit/ |
| H A D | afhints.c | 1545 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1576 last_touched = point; in af_glyph_hints_align_weak_points()
1592 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1593 last_touched, point ); in af_glyph_hints_align_weak_points()
1598 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1603 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1604 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1605 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1609 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/www/firefox-esr/firefox-91.8.0/modules/freetype2/src/autofit/ |
| H A D | afhints.c | 1606 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1637 last_touched = point; in af_glyph_hints_align_weak_points()
1653 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1654 last_touched, point ); in af_glyph_hints_align_weak_points()
1659 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1664 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1665 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1666 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1670 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/native/libfreetype/src/autofit/ |
| H A D | afhints.c | 1606 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1637 last_touched = point; in af_glyph_hints_align_weak_points()
1653 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1654 last_touched, point ); in af_glyph_hints_align_weak_points()
1659 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1664 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1665 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1666 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1670 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/databases/qt5-sqldrivers-sqlite3/kde-qtbase-5.15.2p263/src/3rdparty/freetype/src/autofit/ |
| H A D | afhints.c | 1606 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1637 last_touched = point; in af_glyph_hints_align_weak_points()
1653 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1654 last_touched, point ); in af_glyph_hints_align_weak_points()
1659 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1664 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1665 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1666 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1670 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/databases/qt5-sqldrivers-sqlite2/kde-qtbase-5.15.2p263/src/3rdparty/freetype/src/autofit/ |
| H A D | afhints.c | 1606 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1637 last_touched = point; in af_glyph_hints_align_weak_points()
1653 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1654 last_touched, point ); in af_glyph_hints_align_weak_points()
1659 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1664 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1665 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1666 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1670 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|
| /dports/databases/qt5-sqldrivers-tds/kde-qtbase-5.15.2p263/src/3rdparty/freetype/src/autofit/ |
| H A D | afhints.c | 1606 AF_Point first_touched, last_touched; in af_glyph_hints_align_weak_points() local
1637 last_touched = point; in af_glyph_hints_align_weak_points()
1653 af_iup_interp( last_touched + 1, point - 1, in af_glyph_hints_align_weak_points()
1654 last_touched, point ); in af_glyph_hints_align_weak_points()
1659 if ( last_touched == first_touched ) in af_glyph_hints_align_weak_points()
1664 if ( last_touched < end_point ) in af_glyph_hints_align_weak_points()
1665 af_iup_interp( last_touched + 1, end_point, in af_glyph_hints_align_weak_points()
1666 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
1670 last_touched, first_touched ); in af_glyph_hints_align_weak_points()
|