| /dports/math/cadical/cadical-1.0.3-cb89cbf/src/ |
| H A D | block.cpp | 82 int prev_other = 0; // Previous non-tautological literal. in is_blocked_clause() local
96 *l = prev_other; in is_blocked_clause()
97 prev_other = other; in is_blocked_clause()
119 *l = prev_other; in is_blocked_clause()
120 prev_other = other; in is_blocked_clause()
330 int prev_other = 0; // Previous non-tautological literal. in block_literal_with_one_negative_occ() local
340 *l = prev_other; in block_literal_with_one_negative_occ()
341 prev_other = other; in block_literal_with_one_negative_occ()
361 *l = prev_other; in block_literal_with_one_negative_occ()
362 prev_other = other; in block_literal_with_one_negative_occ()
|
| /dports/games/armagetronad/armagetronad-0.2.8.3.5/src/engine/ |
| H A D | ePath.cpp | 205 eHalfEdge *prev_other = NULL; in FindPath() local
233 prev_other = prev->Other(); in FindPath()
256 if (prev_other && CanPass(gameObject, prev)) in FindPath()
257 …prev_other->PossiblePath(PATH_OTHER_NEXT, e->MinPathLength() + EdgePenalty(e, gameObject) + .00000… in FindPath()
|
| /dports/games/frogatto/frogatto-1.3.1/MacOSJet/boost/include/boost/intrusive/ |
| H A D | circular_slist_algorithms.hpp | 265 node_ptr prev_other(get_previous_node(other_node)); in swap_nodes() local
272 NodeTraits::set_next(empty2 ? this_node : prev_other, this_node); in swap_nodes()
|
| H A D | circular_list_algorithms.hpp | 276 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
279 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/science/smoldyn/smoldyn-2.67/source/NextSubVolume/boost_include/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 282 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
285 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/devel/boost-docs/boost_1_72_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/devel/hyperscan/boost_1_75_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/devel/R-cran-BH/BH/inst/include/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 229 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
232 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/databases/percona57-pam-for-mysql/boost_1_59_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/databases/xtrabackup/boost_1_59_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/databases/percona57-server/boost_1_59_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/bundled/boost-1.70.0/include/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/databases/percona57-client/boost_1_59_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/security/keybase/client-v5.7.1/shared/ios/Pods/boost-for-react-native/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/devel/boost-libs/boost_1_72_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/devel/boost-python-libs/boost_1_72_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/databases/mysqlwsrep57-server/boost_1_59_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/science/py-scipy/scipy-1.7.1/scipy/_lib/boost/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in insert_commit_data_t()
233 swap_next(prev_this, prev_other); in insert_commit_data_t()
|
| /dports/math/py-pystan/pystan-2.19.0.0/pystan/stan/lib/stan_math/lib/boost_1.69.0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node));
233 swap_next(prev_this, prev_other);
|
| /dports/audio/supercollider/SuperCollider-3.11.0-Source/external_libraries/boost/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node));
233 swap_next(prev_this, prev_other);
|
| /dports/databases/mysql57-client/mysql-5.7.36/boost/boost_1_59_0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/graphics/povray37/povray-3.7.0.10/libraries/boost/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|
| /dports/databases/mongodb36/mongodb-src-r3.6.23/src/third_party/boost-1.60.0/boost/intrusive/ |
| H A D | circular_list_algorithms.hpp | 230 node_ptr prev_other(NodeTraits::get_previous(other_node)); in swap_nodes() local
233 swap_next(prev_this, prev_other); in swap_nodes()
|