| /dports/lang/swi-pl/swipl-8.2.3/src/Tests/xsb/delay_tests/ |
| H A D | xsb_test_delay.pl | 63 xsb_test(dynstrat1). % Needs n simplification
64 xsb_test(dynstrat2). % No simplification
66 xsb_test(dynstrat4). % Needs n simplification
70 xsb_test(ross1). % No simplification
137 xsb_test(przy1). % No simplification
139 xsb_test(nonstrat1). % No simplification
146 xsb_test(p1). % No simplification
147 xsb_test(p2). % No simplification
148 xsb_test(p3). % No simplification
149 xsb_test(p4). % No simplification
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/src/test/mir-opt/const_prop/ |
| H A D | control_flow_simplification.hello.ConstProp.diff | 5 … // return place in scope 0 at $DIR/control-flow-simplification.rs:11:14: 11:14
6 …let mut _1: bool; // in scope 0 at $DIR/control-flow-simplification.rs:12:8: 12…
10 … StorageLive(_1); // scope 0 at $DIR/control-flow-simplification.rs:12:8: 12:21
11 - _1 = const <bool as NeedsDrop>::NEEDS; // scope 0 at $DIR/control-flow-simplification.rs:…
12 … _1) -> [false: bb2, otherwise: bb1]; // scope 0 at $DIR/control-flow-simplification.rs:12:8: 12:21
13 + _1 = const false; // scope 0 at $DIR/control-flow-simplification.rs:12:8: …
14 …lse) -> [false: bb2, otherwise: bb1]; // scope 0 at $DIR/control-flow-simplification.rs:12:8: 12:21
32 … nop; // scope 0 at $DIR/control-flow-simplification.rs:14:6: 14:6
33 … StorageDead(_1); // scope 0 at $DIR/control-flow-simplification.rs:14:5: 14:6
34 … return; // scope 0 at $DIR/control-flow-simplification.rs:15:2: 15:2
|
| /dports/graphics/qgis/qgis-3.22.3/python/core/auto_generated/ |
| H A D | qgsvectorsimplifymethod.sip.in | 44 Sets the simplification hints of the vector layer managed
48 Gets the simplification hints of the vector layer managed
61 Sets the local simplification algorithm of the vector layer managed
65 Gets the local simplification algorithm of the vector layer managed
70 Sets the tolerance of simplification in map units. Represents the maximum distance in map units bet…
74 Gets the tolerance of simplification in map units. Represents the maximum distance in map units bet…
79 Sets the simplification threshold of the vector layer managed
83 Gets the simplification threshold of the vector layer managed
88 Sets where the simplification executes, after fetch the geometries from provider, or when supported…
92 Gets where the simplification executes, after fetch the geometries from provider, or when supported…
|
| H A D | qgssimplifymethod.sip.in | 38 Sets the simplification type
42 Gets the simplification type
47 Sets the tolerance of simplification in map units. Represents the maximum distance in map units bet…
51 Gets the tolerance of simplification in map units. Represents the maximum distance in map units bet…
56 Sets the simplification threshold in pixels. Represents the maximum distance in pixels between two …
60 Gets the simplification threshold in pixels. Represents the maximum distance in pixels between two …
65 Sets whether the simplification executes after fetch the geometries from provider, otherwise it exe…
69 Gets whether the simplification executes after fetch the geometries from provider, otherwise it exe…
|
| /dports/graphics/qgis-ltr/qgis-3.16.16/python/core/auto_generated/ |
| H A D | qgsvectorsimplifymethod.sip.in | 44 Sets the simplification hints of the vector layer managed
48 Gets the simplification hints of the vector layer managed
61 Sets the local simplification algorithm of the vector layer managed
65 Gets the local simplification algorithm of the vector layer managed
70 Sets the tolerance of simplification in map units. Represents the maximum distance in map units bet…
74 Gets the tolerance of simplification in map units. Represents the maximum distance in map units bet…
79 Sets the simplification threshold of the vector layer managed
83 Gets the simplification threshold of the vector layer managed
88 Sets where the simplification executes, after fetch the geometries from provider, or when supported…
92 Gets where the simplification executes, after fetch the geometries from provider, or when supported…
|
| H A D | qgssimplifymethod.sip.in | 38 Sets the simplification type
42 Gets the simplification type
47 Sets the tolerance of simplification in map units. Represents the maximum distance in map units bet…
51 Gets the tolerance of simplification in map units. Represents the maximum distance in map units bet…
56 Sets the simplification threshold in pixels. Represents the maximum distance in pixels between two …
60 Gets the simplification threshold in pixels. Represents the maximum distance in pixels between two …
65 Sets whether the simplification executes after fetch the geometries from provider, otherwise it exe…
69 Gets whether the simplification executes after fetch the geometries from provider, otherwise it exe…
|
| /dports/sysutils/triton/Triton-0.8.1/src/examples/cpp/ |
| H A D | Makefile | 3 examples: constraint info_reg ir simplification taint_reg
14 simplification: target
15 $(CXX) $(CXXFLAGS) -g3 -ggdb3 -std=c++0x -o simplification.bin simplification.cpp -ltriton
25 .PHONY: examples constraint info_reg ir simplification taint_reg
|
| /dports/math/fricas/fricas-1.3.7/src/input/ |
| H A D | gpresent.input | 10 -- first we try each simplification rule in its simplest
13 testcase "simplification - remove one generator"
18 testcase "simplification - repeated remove one generator"
23 testcase "simplification - cancel empty"
28 testcase "simplification - cancel inverse"
33 testcase "simplification - 2 element rule"
38 testcase "simplification - minimise inverses"
43 testcase "simplification - substitution"
49 testcase "simplification - remove duplicate rule"
76 testcase "complicated simplification"
|
| /dports/java/proguard/proguard-7.0.0/docs/manual/ |
| H A D | optimizations.md | 21 "**`code/simplification/variable,code/simplification/arithmetic`**" only
27 For example, "`!code/simplification/advanced,code/simplification/*`"
59 `field/propagation/value`<div>(⇒ `code/simplification/advanced`)</div>
97 `code/simplification/variable`
100 `code/simplification/arithmetic`
103 `code/simplification/cast`
106 `code/simplification/field`
109 `code/simplification/branch`<div>(⇒ `code/removal/simple`)</div>
112 `code/simplification/object`
115 `code/simplification/string`
[all …]
|
| /dports/math/rumur/rumur-2021.09.29/rumur/src/ |
| H A D | main.cc | 428 if (options.smt.simplification == SmtSimplification::AUTO) { in parse_args()
429 options.smt.simplification = SmtSimplification::ON; in parse_args()
444 options.smt.simplification = SmtSimplification::ON; in parse_args()
462 options.smt.simplification = SmtSimplification::ON; in parse_args()
470 options.smt.simplification = SmtSimplification::ON; in parse_args()
477 options.smt.simplification = SmtSimplification::ON; in parse_args()
483 options.smt.simplification = SmtSimplification::ON; in parse_args()
485 options.smt.simplification = SmtSimplification::OFF; in parse_args()
537 if (options.smt.simplification == SmtSimplification::ON && in parse_args()
541 options.smt.simplification = SmtSimplification::OFF; in parse_args()
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/redlog/rl/ |
| H A D | rlblackboxes.red | 133 doc = "quine simplification compute satisfying assignment",
138 doc = "quine simplification compute consensus",
148 doc = "quine simplification simplify additively",
153 doc = "quine simplification simplify",
178 doc = "quine simplification try consensus",
208 doc = "smart simplification update knowledge",
213 doc = "smart simplification remove knowledge",
218 doc = "smart simplification copyknowledge",
223 doc = "smart simplification make list of atomic formulas",
248 doc = "susi post simplification",
[all …]
|
| /dports/math/p5-Math-Symbolic-Custom-Simplification/Math-Symbolic-Custom-Simplification-1.01/ |
| H A D | README | 7 Math::Symbolic offers some builtin simplification routines. These, however,
9 to override the default simplification routines through means of subclassing
11 object method that implements a simplification of Math::Symbolic trees.
37 # Code that uses the default simplification routines or whichever
38 # simplification routines where registered before.
|
| /dports/devel/py-dateparser/dateparser-0.7.2/dateparser/languages/ |
| H A D | validation.py | 288 for simplification in simplifications_list:
289 if not isinstance(simplification, dict) or len(simplification) != 1:
293 {'simplification': simplification, 'id': language_id})
297 key, value = list(simplification.items())[0]
302 {'simplification': simplification, 'id': language_id})
321 {'simplification': simplification,
336 {'simplification': simplification,
345 {'simplification': simplification,
|
| /dports/devel/py-odfpy/odfpy-1.4.1/grammar/ |
| H A D | Makefile | 6 simple-schema-7-22.rng: OpenDocument-v1.2-os-schema.rng simplification.xsl
7 xsltproc --stringparam out-name simple-schema- simplification.xsl $<
9 simple-manifest-7-22.rng: OpenDocument-manifest-schema-v1.0-os.rng simplification.xsl
10 xsltproc --stringparam out-name simple-manifest- simplification.xsl $<
|
| /dports/math/p5-Math-SymbolicX-NoSimplification/Math-SymbolicX-NoSimplification-1.01/ |
| H A D | README | 5 simplification routines and replace them with routines that just clone
6 the objects. You may want to do this in cases where the simplification
11 A word of caution, however: If you turn off the simplification routines,
14 without intermediate simplification. This would yield exponential
15 growth of nodes. (And may, in fact, still do if you keep the simplification
|
| /dports/security/py-angr/angr-9.0.5405/angr/ |
| H A D | sim_options.py | 335 simplification = { SIMPLIFY_MEMORY_WRITES, SIMPLIFY_REGISTER_WRITES } variable
336 …, SUPPORT_FLOATING_POINT, EXTENDED_IROP_SUPPORT, ALL_FILES_EXIST, FILES_HAVE_EOF } | simplification
343 …'static': (common_options - simplification) | { REGION_MAPPING, BEST_EFFORT_MEMORY_STORING, SYMBOL…
344 …'fastpath': (common_options - simplification ) | (symbolic - { SYMBOLIC, DO_CCALLS }) | resilience…
345 …'tracing': (common_options - simplification - {SUPPORT_FLOATING_POINT, ALL_FILES_EXIST}) | symboli…
|
| /dports/graphics/gmt/gmt-6.3.0/doc/rst/source/gallery/ |
| H A D | ex40.rst | 3 (40) Line simplification
6 This example demonstrate the Douglas-Peucker line simplification algorithm as
18 Illustrate line simplification and area calculations.
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/ |
| H A D | sat_simplifier_params.pyg | 9 … ('bce_at', UINT, 2, 'eliminate blocked clauses only once at the given simplification round'),
11 … ('bce_delay', UINT, 2, 'delay eliminate blocked clauses until simplification round'),
25 … ('elim_vars', BOOL, True, 'enable variable elimination using resolution during simplification'),
26 …ars_bdd', BOOL, True, 'enable variable elimination using BDD recompilation during simplification'),
27 …bdd_delay', UINT, 3, 'delay elimination of variables using BDDs until after simplification round'),
28 … ('probing', BOOL, True, 'apply failed literal detection during simplification'),
|
| H A D | sat_params.pyg | 29 … ('burst_search', UINT, 100, 'number of conflicts before first global simplification'),
39 … ('simplify.delay', UINT, 0, 'set initial delay of simplification by a conflict count'),
73 ('anf', BOOL, False, 'enable ANF based simplification in-processing'),
74 ('anf.delay', UINT, 2, 'delay ANF simplification by in-processing round'),
75 ('anf.exlin', BOOL, False, 'enable extended linear simplification'),
76 ('cut', BOOL, False, 'enable AIG based simplification in-processing'),
77 ('cut.delay', UINT, 2, 'delay cut simplification by in-processing round'),
78 … ('cut.aig', BOOL, False, 'extract aigs (and ites) from cluases for cut simplification'),
79 … ('cut.lut', BOOL, False, 'extract luts from clauses for cut simplification'),
80 … ('cut.xor', BOOL, False, 'extract xors from clauses for cut simplification'),
[all …]
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/sat/ |
| H A D | sat_simplifier_params.pyg | 9 … ('bce_at', UINT, 2, 'eliminate blocked clauses only once at the given simplification round'),
11 … ('bce_delay', UINT, 2, 'delay eliminate blocked clauses until simplification round'),
25 … ('elim_vars', BOOL, True, 'enable variable elimination using resolution during simplification'),
26 …ars_bdd', BOOL, True, 'enable variable elimination using BDD recompilation during simplification'),
27 …bdd_delay', UINT, 3, 'delay elimination of variables using BDDs until after simplification round'),
28 … ('probing', BOOL, True, 'apply failed literal detection during simplification'),
|
| H A D | sat_params.pyg | 29 … ('burst_search', UINT, 100, 'number of conflicts before first global simplification'),
39 … ('simplify.delay', UINT, 0, 'set initial delay of simplification by a conflict count'),
73 ('anf', BOOL, False, 'enable ANF based simplification in-processing'),
74 ('anf.delay', UINT, 2, 'delay ANF simplification by in-processing round'),
75 ('anf.exlin', BOOL, False, 'enable extended linear simplification'),
76 ('cut', BOOL, False, 'enable AIG based simplification in-processing'),
77 ('cut.delay', UINT, 2, 'delay cut simplification by in-processing round'),
78 … ('cut.aig', BOOL, False, 'extract aigs (and ites) from cluases for cut simplification'),
79 … ('cut.lut', BOOL, False, 'extract luts from clauses for cut simplification'),
80 … ('cut.xor', BOOL, False, 'extract xors from clauses for cut simplification'),
[all …]
|
| /dports/graphics/birdfont/birdfont-2.29.5/birdfont-autotrace/ |
| H A D | AutoTrace.vala | 31 double simplification;
39 simplification = 0.5;
50 } else if (arg[i] == "-s" || arg[i] == "--simplification" && i + 1 < arg.length) {
51 simplification = double.parse (arg[i + 1]);
73 …stdout.printf ("-s, --simplification " + t_("simplification, from 0.001 to 1, the defau…
121 DrawingTools.auto_trace_simplify.set_value_round (simplification);
|
| /dports/math/maxima/maxima-5.43.2/tests/ |
| H A D | rtest_sqrt.mac | 450 /* Check correct simplification of equation */
478 /* Check correct simplification of equation */
506 /* Check correct simplification of equation */
534 /* Check correct simplification of equation */
562 /* Check correct simplification of equation */
593 /* Check correct simplification of equation */
625 /* Check correct simplification of equation */
655 /* Check correct simplification of equation */
683 /* Check correct simplification of equation */
715 /* Check correct simplification of equation */
[all …]
|
| /dports/math/cadabra2/cadabra2-2.3.6.8/core/algorithms/ |
| H A D | simplify.cnb | 12 …simplification of such expressions can be\n`outsourced' to an external scalar computer algebra sys…
16 …simplification of such expressions can be\n`outsourced' to an external scalar computer algebra sys…
|
| /dports/math/py-Diofant/Diofant-0.13.0/docs/modules/simplify/ |
| H A D | simplify.rst | 80 Trigonometric simplification
97 Power simplification
109 Combinatorial simplification
|