Mercurial > repos > pointsource_algs / file comparison
comparison: src/fb.rs
src/fb.rs
- changeset 81
- 642141008293
- parent 78
- 2a122736e91c
- child 84
- edb5de5d5bd6
equal
deleted
inserted
replaced
| 79:b6af27f72492 | 81:642141008293 |
|---|---|
| 208 &μ_base, | 208 &μ_base, |
| 209 τ, | 209 τ, |
| 210 ε, | 210 ε, |
| 211 ins, | 211 ins, |
| 212 ®, | 212 ®, |
| 213 Some(|μ̃: &RNDM<N, F>| f.apply(μ̃)), | 213 Some(|μ̃: &RNDM<N, F>| f.apply(μ̃) + reg.apply(μ̃)), |
| 214 ) | 214 ) |
| 215 }); | 215 }); |
| 216 } | 216 } |
| 217 | 217 |
| 218 stats.pruned += prune_with_stats(&mut μ); | 218 stats.pruned += prune_with_stats(&mut μ); |
