| /dports/graphics/qgis/qgis-3.22.3/tests/src/core/ |
| H A D | testqgsmaptopixelgeometrysimplifier.cpp | 117 const QgsGeometry ret = simplifier.simplify( g ); in testDefaultGeometry()
130 QgsMapToPixelSimplifier simplifier( fl, 10.0 ); in testLine1() local
131 QgsGeometry ret = simplifier.simplify( g ); in testLine1()
139 simplifier.setTolerance( 20.0 ); in testLine1()
140 ret = simplifier.simplify( g ); in testLine1()
145 simplifier.setTolerance( 30.0 ); in testLine1()
146 ret = simplifier.simplify( g ); in testLine1()
196 QCOMPARE( simplifier.simplify( g ).asWkt(), WKT ); in testCircularString()
215 const QgsMapToPixelSimplifier simplifier( fl, 5 ); in testRingValidity() local
228 simplified.reset( simplifier.simplify( nullptr ) ); in testAbstractGeometrySimplify()
[all …]
|
| /dports/graphics/qgis-ltr/qgis-3.16.16/tests/src/core/ |
| H A D | testqgsmaptopixelgeometrysimplifier.cpp | 116 QgsMapToPixelSimplifier simplifier( fl, 10.0 ); in testDefaultGeometry() local
117 QgsGeometry ret = simplifier.simplify( g ); in testDefaultGeometry()
130 QgsMapToPixelSimplifier simplifier( fl, 10.0 ); in testLine1() local
131 QgsGeometry ret = simplifier.simplify( g ); in testLine1()
139 simplifier.setTolerance( 20.0 ); in testLine1()
140 ret = simplifier.simplify( g ); in testLine1()
145 simplifier.setTolerance( 30.0 ); in testLine1()
146 ret = simplifier.simplify( g ); in testLine1()
185 QgsMapToPixelSimplifier simplifier( fl, 20.0 ); in testWkbDimensionMismatch() local
215 QgsMapToPixelSimplifier simplifier( fl, 5 ); in testRingValidity() local
[all …]
|
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | subsumestrengthen.cpp | 42 simplifier(_simplifier) in SubsumeStrengthen()
74 simplifier->linkInClause(cl); in subsume_and_unlink_and_markirred()
232 simplifier->clauses[i] in randomise_clauses_order()
233 , simplifier->clauses[i+solver->mtrand.randInt(simplifier->clauses.size()-1-i)] in randomise_clauses_order()
241 if (simplifier->clauses.empty()) in backw_sub_long_with_long()
252 while (*simplifier->limit_to_decrease > 0 in backw_sub_long_with_long()
255 *simplifier->limit_to_decrease -= 3; in backw_sub_long_with_long()
274 *simplifier->limit_to_decrease -= 10; in backw_sub_long_with_long()
316 while(*simplifier->limit_to_decrease > 0 in backw_str_long_with_long()
562 *simplifier->limit_to_decrease -= 5; in remove_literal()
[all …]
|
| H A D | bva.cpp | 38 , simplifier(_simplifier) in BVA()
81 if (*simplifier->limit_to_decrease < 0 in bounded_var_addition()
265 if (*simplifier->limit_to_decrease < 0) { in try_bva_on_lit()
351 simplifier->linkInClause(*newCl); in bva_simplify_system()
353 simplifier->clauses.push_back(offset); in bva_simplify_system()
356 simplifier->n_occurs[l.toInt()]++; in bva_simplify_system()
535 simplifier->n_occurs[l.toInt()]++; in add_longer_clause()
561 simplifier->linkInClause(*newCl); in add_longer_clause()
602 if (*simplifier->limit_to_decrease < 0) in fill_potential()
626 if (*simplifier->limit_to_decrease < 0) in fill_potential()
[all …]
|
| H A D | gatefinder.cpp | 39 , simplifier(_simplifier) in GateFinder()
139 simplifier->cl_to_free_later.clear(); in shorten_with_all_or_gates()
151 simplifier->free_clauses_to_free(); in shorten_with_all_or_gates()
328 *simplifier->limit_to_decrease -= ws.size(); in find_or_gates_in_sweep_mode()
374 simplifier->sub_str->find_subsumed( in shortenWithOrGate()
450 simplifier->linkInClause(*cl2); in shortenWithOrGate()
452 simplifier->clauses.push_back(offset2); in shortenWithOrGate()
714 if (*simplifier->limit_to_decrease < 0) in remove_clauses_using_and_gate()
744 simplifier->unlink_clause(offset); in remove_clauses_using_and_gate()
767 if (*simplifier->limit_to_decrease < 0) in remove_clauses_using_and_gate_tri()
[all …]
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | subsumestrengthen.cpp | 42 simplifier(_simplifier) in SubsumeStrengthen()
74 simplifier->linkInClause(cl); in subsume_and_unlink_and_markirred()
232 simplifier->clauses[i] in randomise_clauses_order()
233 , simplifier->clauses[i+solver->mtrand.randInt(simplifier->clauses.size()-1-i)] in randomise_clauses_order()
241 if (simplifier->clauses.empty()) in backw_sub_long_with_long()
252 while (*simplifier->limit_to_decrease > 0 in backw_sub_long_with_long()
255 *simplifier->limit_to_decrease -= 3; in backw_sub_long_with_long()
274 *simplifier->limit_to_decrease -= 10; in backw_sub_long_with_long()
316 while(*simplifier->limit_to_decrease > 0 in backw_str_long_with_long()
562 *simplifier->limit_to_decrease -= 5; in remove_literal()
[all …]
|
| H A D | bva.cpp | 38 , simplifier(_simplifier) in BVA()
81 if (*simplifier->limit_to_decrease < 0 in bounded_var_addition()
265 if (*simplifier->limit_to_decrease < 0) { in try_bva_on_lit()
351 simplifier->linkInClause(*newCl); in bva_simplify_system()
353 simplifier->clauses.push_back(offset); in bva_simplify_system()
356 simplifier->n_occurs[l.toInt()]++; in bva_simplify_system()
535 simplifier->n_occurs[l.toInt()]++; in add_longer_clause()
561 simplifier->linkInClause(*newCl); in add_longer_clause()
602 if (*simplifier->limit_to_decrease < 0) in fill_potential()
626 if (*simplifier->limit_to_decrease < 0) in fill_potential()
[all …]
|
| H A D | gatefinder.cpp | 39 , simplifier(_simplifier) in GateFinder()
139 simplifier->cl_to_free_later.clear(); in shorten_with_all_or_gates()
151 simplifier->free_clauses_to_free(); in shorten_with_all_or_gates()
328 *simplifier->limit_to_decrease -= ws.size(); in find_or_gates_in_sweep_mode()
374 simplifier->sub_str->find_subsumed( in shortenWithOrGate()
450 simplifier->linkInClause(*cl2); in shortenWithOrGate()
452 simplifier->clauses.push_back(offset2); in shortenWithOrGate()
714 if (*simplifier->limit_to_decrease < 0) in remove_clauses_using_and_gate()
744 simplifier->unlink_clause(offset); in remove_clauses_using_and_gate()
767 if (*simplifier->limit_to_decrease < 0) in remove_clauses_using_and_gate_tri()
[all …]
|
| /dports/math/maxima/maxima-5.43.2/share/contrib/ |
| H A D | simplifying.lisp | 51 (defun $simplifying (f simplifier)
54 (if (and simplifier (not (defined-functionp simplifier)))
55 (mwarn "simplifier function ~M is not defined" simplifier))
57 (mwarn "~M is overriding built-in simplifier for ~M" simplifier f))
58 (setf (get f 'user-simplifying) simplifier)
59 (setf (get f 'operators) (if simplifier #'user-simplifying nil))
91 (simplifier (get op 'user-simplifying))
97 (if (defined-functionp simplifier)
98 (mapply simplifier args op)
|
| /dports/lang/scheme48/scheme48-1.9.2/ps-compiler/prescheme/primop/ |
| H A D | primop.scm | 32 ((define-scheme-primop id side-effects type simplifier)
34 id side-effects (lambda (call) type) simplifier))))
42 ((define-scheme-primop id side-effects type simplifier)
44 (make-primop 'id #t 'side-effects simplifier
54 ((define-nonsimple-scheme-primop id side-effects simplifier)
56 (make-primop 'id #f 'side-effects simplifier
62 ((define-scheme-cond-primop id simplifier expand simplify?)
66 simplifier
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_simplifier.cpp | 63 simplifier::simplifier(solver & _s, params_ref const & p): in simplifier() function in sat::simplifier
70 simplifier::~simplifier() { in ~simplifier()
161 void simplifier::init_visited() { in init_visited()
166 void simplifier::finalize() { in finalize()
177 void simplifier::initialize() { in initialize()
829 simplifier & m_simplifier;
852 void simplifier::subsume() { in subsume()
1002 simplifier & s;
1683 simplifier & m_simplifier;
2037 simplifier & m_simplifier;
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_simplifier.cpp | 63 simplifier::simplifier(solver & _s, params_ref const & p): in simplifier() function in sat::simplifier
70 simplifier::~simplifier() { in ~simplifier()
161 void simplifier::init_visited() { in init_visited()
166 void simplifier::finalize() { in finalize()
177 void simplifier::initialize() { in initialize()
828 simplifier & m_simplifier;
851 void simplifier::subsume() { in subsume()
1001 simplifier & s;
1682 simplifier & m_simplifier;
2032 simplifier & m_simplifier;
[all …]
|
| /dports/devel/modd/modd-0.8/vendor/mvdan.cc/sh/syntax/ |
| H A D | simplify.go | 20 s := simplifier{}
25 type simplifier struct { struct
29 func (s *simplifier) visit(node Node) bool { argument
87 func (s *simplifier) simplifyWord(wps []WordPart) []WordPart { argument
134 func (s *simplifier) removeParensArithm(x ArithmExpr) ArithmExpr { argument
145 func (s *simplifier) inlineSimpleParams(x ArithmExpr) ArithmExpr { argument
167 func (s *simplifier) inlineSubshell(stmts []*Stmt) []*Stmt { argument
184 func (s *simplifier) unquoteParams(x TestExpr) TestExpr { argument
201 func (s *simplifier) removeParensTest(x TestExpr) TestExpr { argument
212 func (s *simplifier) removeNegateTest(x TestExpr) TestExpr { argument
|
| /dports/devel/taskctl/taskctl-1.4.2/vendor/mvdan.cc/sh/v3/syntax/ |
| H A D | simplify.go | 20 s := simplifier{}
25 type simplifier struct { struct
29 func (s *simplifier) visit(node Node) bool { argument
91 func (s *simplifier) simplifyWord(wps []WordPart) []WordPart { argument
138 func (s *simplifier) removeParensArithm(x ArithmExpr) ArithmExpr { argument
149 func (s *simplifier) inlineSimpleParams(x ArithmExpr) ArithmExpr { argument
171 func (s *simplifier) inlineSubshell(stmts []*Stmt) []*Stmt { argument
188 func (s *simplifier) unquoteParams(x TestExpr) TestExpr { argument
205 func (s *simplifier) removeParensTest(x TestExpr) TestExpr { argument
216 func (s *simplifier) removeNegateTest(x TestExpr) TestExpr { argument
|
| /dports/math/z3/z3-z3-4.8.13/src/math/grobner/ |
| H A D | pdd_simplifier.cpp | 62 void simplifier::operator()() { in operator ()()
84 struct simplifier::compare_top_var {
90 bool simplifier::simplify_linear_step(bool binary) { in simplify_linear_step()
110 bool simplifier::simplify_linear_step(equation_vector& linear) { in simplify_linear_step()
185 bool simplifier::simplify_cc_step() { in simplify_cc_step()
218 bool simplifier::simplify_leaf_step() { in simplify_leaf_step()
261 bool simplifier::simplify_elim_pure_step() { in simplify_elim_pure_step()
287 bool simplifier::simplify_elim_dual_step() { in simplify_elim_dual_step()
348 void simplifier::add_to_use(equation* e, use_list_t& use_list) { in add_to_use()
374 simplifier::use_list_t simplifier::get_use_list() { in get_use_list()
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/grobner/ |
| H A D | pdd_simplifier.cpp | 62 void simplifier::operator()() { in operator ()()
84 struct simplifier::compare_top_var {
90 bool simplifier::simplify_linear_step(bool binary) { in simplify_linear_step()
110 bool simplifier::simplify_linear_step(equation_vector& linear) { in simplify_linear_step()
185 bool simplifier::simplify_cc_step() { in simplify_cc_step()
218 bool simplifier::simplify_leaf_step() { in simplify_leaf_step()
261 bool simplifier::simplify_elim_pure_step() { in simplify_elim_pure_step()
287 bool simplifier::simplify_elim_dual_step() { in simplify_elim_dual_step()
348 void simplifier::add_to_use(equation* e, use_list_t& use_list) { in add_to_use()
374 simplifier::use_list_t simplifier::get_use_list() { in get_use_list()
[all …]
|
| /dports/math/stp/stp-2.3.3/tools/time_constantbitprop/ |
| H A D | time_cbitp.cpp | 44 using simplifier::constantBitP::FixedBits;
45 using namespace simplifier::constantBitP;
123 simplifier::constantBitP::Result signedModulus(vector<FixedBits*>& children, in signedModulus()
129 simplifier::constantBitP::Result signedRemainder(vector<FixedBits*>& children, in signedRemainder()
135 simplifier::constantBitP::Result unsignedModulus(vector<FixedBits*>& children, in unsignedModulus()
141 simplifier::constantBitP::Result unsignedDivision(vector<FixedBits*>& children, in unsignedDivision()
147 simplifier::constantBitP::Result signedDivision(vector<FixedBits*>& children, in signedDivision()
153 simplifier::constantBitP::Result multiply(vector<FixedBits*>& children, in multiply()
|
| /dports/math/vampire/vampire-4.5.1/ |
| H A D | vclausify.cpp | 109 CompositeISE simplifier; in clausifyMode() local
110 simplifier.addFront(new TrivialInequalitiesRemovalISE()); in clausifyMode()
111 simplifier.addFront(new TautologyDeletionISE()); in clausifyMode()
112 simplifier.addFront(new DuplicateLiteralRemovalISE()); in clausifyMode()
122 cl=simplifier.simplify(cl); in clausifyMode()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/ |
| H A D | ctx_simplify_tactic.h | 26 class simplifier {
29 virtual ~simplifier() {} in ~simplifier()
34 virtual simplifier * translate(ast_manager & m) = 0;
46 ctx_simplify_tactic(ast_manager & m, simplifier* simp, params_ref const & p = params_ref());
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/core/ |
| H A D | ctx_simplify_tactic.h | 26 class simplifier {
29 virtual ~simplifier() {} in ~simplifier()
34 virtual simplifier * translate(ast_manager & m) = 0;
46 ctx_simplify_tactic(ast_manager & m, simplifier* simp, params_ref const & p = params_ref());
|
| /dports/graphics/s2/s2geometry-0.9.0/src/s2/ |
| H A D | s2polyline_simplifier_test.cc | 131 S2PolylineSimplifier simplifier; in TEST() local
135 simplifier.Init(src); in TEST()
157 simplifier.AvoidDisc(x, radius, on_left); in TEST()
159 simplifier.TargetDisc(x, radius); in TEST()
163 EXPECT_EQ(bad_disc < 0, simplifier.Extend(dst)); in TEST()
|
| /dports/graphics/py-s2/s2geometry-0.9.0/src/s2/ |
| H A D | s2polyline_simplifier_test.cc | 131 S2PolylineSimplifier simplifier; in TEST() local
135 simplifier.Init(src); in TEST()
157 simplifier.AvoidDisc(x, radius, on_left); in TEST()
159 simplifier.TargetDisc(x, radius); in TEST()
163 EXPECT_EQ(bad_disc < 0, simplifier.Extend(dst)); in TEST()
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
| H A D | gimple-ssa-evrp.c | 55 simplifier (&m_range_analyzer) in evrp_folder()
92 return simplifier.simplify (gsi); in fold_stmt()
108 simplify_using_ranges simplifier; variable
204 simplifier.set_range_query (first); in fold_stmt()
205 if (simplifier.simplify (gsi)) in fold_stmt()
208 simplifier.set_range_query (second); in fold_stmt()
209 if (simplifier.simplify (gsi)) in fold_stmt()
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ |
| H A D | gimple-ssa-evrp.c | 55 simplifier (&m_range_analyzer) in evrp_folder()
92 return simplifier.simplify (gsi); in fold_stmt()
108 simplify_using_ranges simplifier; variable
204 simplifier.set_range_query (first); in fold_stmt()
205 if (simplifier.simplify (gsi)) in fold_stmt()
208 simplifier.set_range_query (second); in fold_stmt()
209 if (simplifier.simplify (gsi)) in fold_stmt()
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/ |
| H A D | gimple-ssa-evrp.c | 55 simplifier (&m_range_analyzer) in evrp_folder()
92 return simplifier.simplify (gsi); in fold_stmt()
108 simplify_using_ranges simplifier; variable
204 simplifier.set_range_query (first); in fold_stmt()
205 if (simplifier.simplify (gsi)) in fold_stmt()
208 simplifier.set_range_query (second); in fold_stmt()
209 if (simplifier.simplify (gsi)) in fold_stmt()
|