src/sliding_fb.rs

changeset 81
642141008293
parent 78
2a122736e91c
child 82
afb3ce40cff6
equal deleted inserted replaced
79:b6af27f72492 81:642141008293
1099 &μ̆, 1099 &μ̆,
1100 τ, 1100 τ,
1101 ε, 1101 ε,
1102 ins, 1102 ins,
1103 &reg, 1103 &reg,
1104 Some(|μ̃: &RNDM<N, F>| f.apply(μ̃)), 1104 Some(|μ̃: &RNDM<N, F>| f.apply(μ̃) + reg.apply(μ̃) ),
1105 ); 1105 );
1106 //if m > 0 { 1106 //if m > 0 {
1107 stats.merged += m; 1107 stats.merged += m;
1108 //v = f.differential(&μ); 1108 //v = f.differential(&μ);
1109 //} 1109 //}

mercurial