| /dports/math/vampire/vampire-4.5.1/SAT/ |
| H A D | RestartStrategy.hpp | 77 : _initConflictCnt(initCnt), _conflictCnt(initCnt), _increase(increase) {} in GeometricRestartStrategy()
84 float _increase; member in SAT::GeometricRestartStrategy
121 : _initConflictCnt(initCnt), _increase(increase) { reset(); } in MinisatRestartStrategy()
129 float _increase; member in SAT::MinisatRestartStrategy
|
| H A D | RestartStrategy.cpp | 44 _conflictCnt = increase(_conflictCnt,_increase); in getNextConflictCount()
78 _outerCnt = increase(_outerCnt,_increase); in getNextConflictCount()
82 _innerCnt = increase(_innerCnt,_increase); in getNextConflictCount()
|
| /dports/net/linphone/linphoneqt-4.1.1/ui/modules/Common/Form/Fields/ |
| H A D | NumericField.qml | 30 function _increase () {
96 property var handler: _increase
|
| /dports/lang/rust/rustc-1.58.1-src/src/test/ui/ |
| H A D | unwind-no-uwtable.rs | 24 let _increase = Increase(count); in increase() localVariable
|
| /dports/devel/p5-Thread-Pool-Simple/Thread-Pool-Simple-0.25/ |
| H A D | Simple.pm | 54 $self->_increase($handler);
68 sub _increase { subroutine
|
| /dports/dns/dnsjit/dnsjit-1.2.2/src/filter/ |
| H A D | timing.c | 115 static void _increase(filter_timing_t* self, const core_object_pcap_t* pkt) in _increase() function
457 _self->timing_callback = _increase; in _init()
|
| /dports/devel/interactive_rebase_tool/git-interactive-rebase-tool-1.2.1/cargo-crates/libgit2-sys-0.7.11/libgit2/src/ |
| H A D | refdb_fs.c | 1553 #define seek_forward(_increase) do { \ in reflog_parse() argument
1554 if (_increase >= buf_size) { \ in reflog_parse()
1558 buf += _increase; \ in reflog_parse()
1559 buf_size -= _increase; \ in reflog_parse()
|
| H A D | index.c | 2501 #define seek_forward(_increase) { \ in parse_index() argument
2502 if (_increase >= buffer_size) { \ in parse_index()
2505 buffer += _increase; \ in parse_index()
2506 buffer_size -= _increase;\ in parse_index()
|
| /dports/devel/R-cran-git2r/git2r/src/libgit2/src/ |
| H A D | refdb_fs.c | 1603 #define seek_forward(_increase) do { \ in reflog_parse() argument
1604 if (_increase >= buf_size) { \ in reflog_parse()
1608 buf += _increase; \ in reflog_parse()
1609 buf_size -= _increase; \ in reflog_parse()
|
| H A D | index.c | 2583 #define seek_forward(_increase) { \ in parse_index() argument
2584 if (_increase >= buffer_size) { \ in parse_index()
2587 buffer += _increase; \ in parse_index()
2588 buffer_size -= _increase;\ in parse_index()
|
| /dports/devel/gbump/gbump-1.0.1/cargo-crates/libgit2-sys-0.9.1/libgit2/src/ |
| H A D | refdb_fs.c | 1613 #define seek_forward(_increase) do { \ in reflog_parse() argument
1614 if (_increase >= buf_size) { \ in reflog_parse()
1618 buf += _increase; \ in reflog_parse()
1619 buf_size -= _increase; \ in reflog_parse()
|
| H A D | index.c | 2590 #define seek_forward(_increase) { \ in parse_index() argument
2591 if (_increase >= buffer_size) { \ in parse_index()
2594 buffer += _increase; \ in parse_index()
2595 buffer_size -= _increase;\ in parse_index()
|
| /dports/devel/cargo-c/cargo-c-0.9.6+cargo-0.58/cargo-crates/libgit2-sys-0.12.26+1.3.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|
| /dports/misc/broot/broot-1.7.0/cargo-crates/libgit2-sys-0.12.21+1.1.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|
| /dports/devel/git-absorb/git-absorb-0.6.6/cargo-crates/libgit2-sys-0.12.13+1.0.1/libgit2/src/ |
| H A D | index.c | 2604 #define seek_forward(_increase) { \ in parse_index() argument
2605 if (_increase >= buffer_size) { \ in parse_index()
2608 buffer += _increase; \ in parse_index()
2609 buffer_size -= _increase;\ in parse_index()
|
| /dports/devel/git-delta/delta-0.9.2/cargo-crates/libgit2-sys-0.12.24+1.3.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|
| /dports/sysutils/vector/vector-0.10.0/cargo-crates/libgit2-sys-0.12.7+1.0.0/libgit2/src/ |
| H A D | index.c | 2604 #define seek_forward(_increase) { \ in parse_index() argument
2605 if (_increase >= buffer_size) { \ in parse_index()
2608 buffer += _increase; \ in parse_index()
2609 buffer_size -= _increase;\ in parse_index()
|
| /dports/security/cargo-audit/rustsec-cargo-audit-v0.15.2/cargo-audit/cargo-crates/libgit2-sys-0.12.23+1.2.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|
| /dports/devel/tokei/tokei-12.1.2/cargo-crates/libgit2-sys-0.12.17+1.1.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|
| /dports/security/cargo-audit/rustsec-cargo-audit-v0.15.2/cargo-audit/cargo-crates/libgit2-sys-0.12.19+1.1.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|
| /dports/devel/gitui/gitui-0.10.1/cargo-crates/libgit2-sys-0.12.12+1.0.1/libgit2/src/ |
| H A D | index.c | 2604 #define seek_forward(_increase) { \ in parse_index() argument
2605 if (_increase >= buffer_size) { \ in parse_index()
2608 buffer += _increase; \ in parse_index()
2609 buffer_size -= _increase;\ in parse_index()
|
| /dports/devel/cargo-generate/cargo-generate-0.9.0/cargo-crates/libgit2-sys-0.12.22+1.1.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|
| /dports/sysutils/onefetch/onefetch-2.10.2/cargo-crates/libgit2-sys-0.12.21+1.1.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|
| /dports/devel/pijul/pijul-1.0.0.a55/cargo-crates/libgit2-sys-0.12.24+1.3.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|
| /dports/textproc/mdbook-linkcheck/mdbook-linkcheck-0.7.6/cargo-crates/libgit2-sys-0.12.24+1.3.0/libgit2/src/ |
| H A D | index.c | 2638 #define seek_forward(_increase) { \ in parse_index() argument
2639 if (_increase >= buffer_size) { \ in parse_index()
2642 buffer += _increase; \ in parse_index()
2643 buffer_size -= _increase;\ in parse_index()
|