| /dports/math/cadical/cadical-1.0.3-cb89cbf/src/ |
| H A D | elim.cpp | 79 Internal::elim_update_added_clause (Eliminator & eliminator, Clause * c) { in elim_update_added_clause()
92 void Internal::elim_update_removed_lit (Eliminator & eliminator, int lit) { in elim_update_removed_lit()
108 Internal::elim_update_removed_clause (Eliminator & eliminator, in elim_update_removed_clause()
125 void Internal::elim_propagate (Eliminator & eliminator, int root) { in elim_propagate()
179 void Internal::elim_on_the_fly_self_subsumption (Eliminator & eliminator, in elim_on_the_fly_self_subsumption()
217 bool Internal::resolve_clauses (Eliminator & eliminator, in resolve_clauses()
360 Internal::elim_resolvents_are_bounded (Eliminator & eliminator, int pivot) in elim_resolvents_are_bounded()
424 Internal::elim_add_resolvents (Eliminator & eliminator, int pivot) { in elim_add_resolvents()
470 Internal::mark_eliminated_clauses_as_garbage (Eliminator & eliminator, in mark_eliminated_clauses_as_garbage()
523 Internal::try_to_eliminate_variable (Eliminator & eliminator, int pivot) { in try_to_eliminate_variable()
[all …]
|
| H A D | gates.cpp | 21 Internal::second_literal_in_binary_clause (Eliminator & eliminator, in second_literal_in_binary_clause()
54 void Internal::mark_binary_literals (Eliminator & eliminator, int first) { in mark_binary_literals()
91 void Internal::unmark_binary_literals (Eliminator & eliminator) { in unmark_binary_literals()
103 void Internal::find_equivalence (Eliminator & eliminator, int pivot) { in find_equivalence()
170 void Internal::find_and_gate (Eliminator & eliminator, int pivot) { in find_and_gate()
311 void Internal::find_if_then_else (Eliminator & eliminator, int pivot) { in find_if_then_else()
412 void Internal::find_xor_gate (Eliminator & eliminator, int pivot) { in find_xor_gate()
501 void Internal::find_gate_clauses (Eliminator & eliminator, int pivot) in find_gate_clauses()
517 void Internal::unmark_gate_clauses (Eliminator & eliminator) { in unmark_gate_clauses()
|
| H A D | backward.cpp | 37 void Internal::elim_backward_clause (Eliminator & eliminator, Clause *c) { in elim_backward_clause()
132 void Internal::elim_backward_clauses (Eliminator & eliminator) { in elim_backward_clauses()
|
| /dports/multimedia/l-smash/l-smash-2.14.5/common/ |
| H A D | list.c | 43 lsmash_entry_data_eliminator eliminator in lsmash_list_init_orig()
57 lsmash_entry_data_eliminator eliminator in lsmash_list_create_orig()
181 lsmash_entry_data_eliminator eliminator = list->eliminator; in lsmash_list_remove_entries() local
193 lsmash_entry_data_eliminator eliminator = src->eliminator; in lsmash_list_move_entries() local
|
| H A D | list.h | 42 lsmash_entry_data_eliminator eliminator; member
46 #define lsmash_list_init( list, eliminator ) \ argument
51 #define lsmash_list_create( eliminator ) \ argument
|
| /dports/math/ceres-solver/ceres-solver-2.0.0/internal/ceres/ |
| H A D | schur_eliminator_benchmark.cc | 140 std::unique_ptr<SchurEliminatorBase> eliminator( in BM_SchurEliminatorEliminate() local
163 std::unique_ptr<SchurEliminatorBase> eliminator( in BM_SchurEliminatorBackSubstitute() local
184 SchurEliminatorForOneFBlock<2, 3, 6> eliminator; in BM_SchurEliminatorForOneFBlockEliminate() local
198 SchurEliminatorForOneFBlock<2, 3, 6> eliminator; in BM_SchurEliminatorForOneFBlockBackSubstitute() local
|
| H A D | schur_eliminator_test.cc | 153 std::unique_ptr<SchurEliminatorBase> eliminator; in EliminateSolveAndCompare() local
317 std::unique_ptr<SchurEliminatorBase> eliminator( in TEST() local
333 SchurEliminatorForOneFBlock<2, 3, 6> eliminator; in TEST() local
|
| H A D | implicit_schur_complement_test.cc | 93 std::unique_ptr<SchurEliminatorBase> eliminator( in ReducedLinearSystemAndSolution() local
|
| /dports/misc/openmvg/openMVG-2.0/src/third_party/ceres-solver/internal/ceres/ |
| H A D | implicit_schur_complement_test.cc | 89 scoped_ptr<SchurEliminatorBase> eliminator( in ReducedLinearSystemAndSolution() local
|
| H A D | schur_eliminator_test.cc | 154 scoped_ptr<SchurEliminatorBase> eliminator; in EliminateSolveAndCompare() local
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_scc.cpp | 232 elim_eqs eliminator(m_solver); in operator ()() local
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_scc.cpp | 232 elim_eqs eliminator(m_solver); in operator ()() local
|
| /dports/lang/solidity/solidity_0.8.11/libevmasm/ |
| H A D | Assembly.cpp | 521 CommonSubexpressionEliminator eliminator{emptyState}; in optimiseInternal() local
|
| /dports/lang/solidity/solidity_0.8.11/test/libevmasm/ |
| H A D | Optimiser.cpp | 110 CommonSubexpressionEliminator eliminator{emptyState}; in fullCSE() local
|