| /external/python/cpython3/Modules/_decimal/libmpdec/literature/ |
| H A D | umodarith.lisp | 250 ;; dw-reduce is correct
253 (defun dw-reduce (hi lo m base)
258 (defthmd dw-reduce-correct
263 (equal (dw-reduce hi lo m base)
272 (defthmd dw-reduce-aux1
285 (defthm dw-reduce-aux2
292 (defthmd dw-reduce-second-quotient-fits-in-single-word
302 ("Subgoal 1.2" :use ((:instance dw-reduce-aux1
311 (let* ((r (dw-reduce hi lo m base))
330 :hints (("Goal" :in-theory (disable dw-reduce)
[all...] |
| /external/jacoco/org.jacoco.core/src/org/jacoco/core/internal/flow/ |
| H A D | FrameSnapshot.java | 51 final Object[] locals = reduce(analyzer.locals, 0);
52 final Object[] stack = reduce(analyzer.stack, popCount);
61 private static Object[] reduce(final List<Object> source, final int popCount) { method in class:FrameSnapshot
|
| /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/ |
| H A D | ConstraintFormulaSet.java | 38 public BoundSet reduce(TypeSolver typeSolver) { method in class:ConstraintFormulaSet
43 ConstraintFormula.ReductionResult reductionResult = constraintFormula.reduce(boundSet);
|
| H A D | ConstraintFormula.java | 123 public abstract ReductionResult reduce(BoundSet currentBoundSet); method in class:ConstraintFormula
|
| /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/ |
| H A D | LambdaThrowsCompatibleWithType.java | 19 public ReductionResult reduce(BoundSet currentBoundSet) { method in class:LambdaThrowsCompatibleWithType
|
| H A D | MethodReferenceThrowsCompatibleWithType.java | 19 public ReductionResult reduce(BoundSet currentBoundSet) { method in class:MethodReferenceThrowsCompatibleWithType
|
| H A D | TypeContainedByType.java | 19 public ReductionResult reduce(BoundSet currentBoundSet) { method in class:TypeContainedByType
|
| H A D | TypeCompatibleWithType.java | 30 public ReductionResult reduce(BoundSet currentBoundSet) { method in class:TypeCompatibleWithType
|
| H A D | TypeSameAsType.java | 28 public ReductionResult reduce(BoundSet currentBoundSet) { method in class:TypeSameAsType
|
| H A D | TypeSubtypeOfType.java | 31 public ReductionResult reduce(BoundSet currentBoundSet) { method in class:TypeSubtypeOfType
|
| H A D | ExpressionCompatibleWithType.java | 42 public ReductionResult reduce(BoundSet currentBoundSet) { method in class:ExpressionCompatibleWithType
|
| /external/trappy/tests/trappy/plotter/ |
| H A D | AbstractDataPlotter.py | 21 from functools import reduce namespace
59 data_frame = reduce(lambda x, y: x and y, mask)
|
| /external/trappy/trappy/plotter/ |
| H A D | AbstractDataPlotter.py | 21 from functools import reduce namespace
59 data_frame = reduce(lambda x, y: x and y, mask)
|
| /external/python/cpython2/Lib/ |
| H A D | functools.py | 10 from _functools import partial, reduce namespace
|
| /external/antlr/antlr-3.4/runtime/Ruby/lib/antlr3/streams/ |
| H A D | rewrite.rb | 211 def reduce method in class:ANTLR3.RewriteProgram
265 | %s#reduce! should have left only one operation per index,
284 operations = reduce
|
| /external/tensorflow/tensorflow/compiler/tf2xla/kernels/ |
| H A D | reduction_ops_common.cc | 56 // axes to reduce so just pass the input directly through to the
121 xla::ComputationDataHandle reduce = local
125 BuildFinalizer(ctx->builder(), reduce, num_elements_reduced);
|
| /external/bouncycastle/bcprov/src/main/java/org/bouncycastle/math/ec/custom/sec/ |
| H A D | SecP192K1Field.java | 77 reduce(tt, z);
104 public static void reduce(int[] xx, int[] z) method in class:SecP192K1Field
130 reduce(tt, z);
139 reduce(tt, z);
144 reduce(tt, z);
|
| H A D | SecP192R1Field.java | 78 reduce(tt, z);
105 public static void reduce(int[] xx, int[] z) method in class:SecP192R1Field
199 reduce(tt, z);
208 reduce(tt, z);
213 reduce(tt, z);
|
| H A D | SecP224K1Field.java | 78 reduce(tt, z);
105 public static void reduce(int[] xx, int[] z) method in class:SecP224K1Field
131 reduce(tt, z);
140 reduce(tt, z);
145 reduce(tt, z);
|
| H A D | SecP224R1Field.java | 78 reduce(tt, z);
105 public static void reduce(int[] xx, int[] z) method in class:SecP224R1Field
205 reduce(tt, z);
214 reduce(tt, z);
219 reduce(tt, z);
|
| H A D | SecP256K1Field.java | 79 reduce(tt, z);
106 public static void reduce(int[] xx, int[] z) method in class:SecP256K1Field
132 reduce(tt, z);
141 reduce(tt, z);
146 reduce(tt, z);
|
| H A D | SecP256R1Field.java | 75 reduce(tt, z);
99 public static void reduce(int[] xx, int[] z) method in class:SecP256R1Field
201 reduce(tt, z);
210 reduce(tt, z);
215 reduce(tt, z);
|
| H A D | SecP384R1Field.java | 81 reduce(tt, z);
96 public static void reduce(int[] xx, int[] z) method in class:SecP384R1Field
197 reduce(tt, z);
206 reduce(tt, z);
211 reduce(tt, z);
|
| H A D | SecP521R1Field.java | 58 reduce(tt, z);
73 public static void reduce(int[] xx, int[] z) method in class:SecP521R1Field
105 reduce(tt, z);
114 reduce(tt, z);
119 reduce(tt, z);
|
| /external/scapy/scapy/layers/ |
| H A D | isakmp.py | 20 from functools import reduce namespace
151 value = reduce(lambda x,y: (x<<8)|y, struct.unpack("!%s" % ("B"*len(value),), value),0)
|