| 73 g : &G, |
73 g : &G, |
| 74 mut x : M, |
74 mut x : M, |
| 75 τ : f64, |
75 τ : f64, |
| 76 iterator : I |
76 iterator : I |
| 77 ) -> M |
77 ) -> M |
| 78 where M : ManifoldPoint + EmbeddedManifoldPoint, |
78 where |
| 79 F : Desc<M> + Mapping<M, Codomain = f64>, |
79 M : ManifoldPoint + EmbeddedManifoldPoint, |
| 80 G : Prox<M> + Mapping<M, Codomain = f64>, |
80 F : Desc<M> + Mapping<M, Codomain = f64>, |
| 81 I : AlgIteratorFactory<IterInfo<M>> { |
81 G : Prox<M> + Mapping<M, Codomain = f64>, |
| |
82 I : AlgIteratorFactory<IterInfo<M>> |
| |
83 { |
| 82 |
84 |
| 83 // Closure that calculates current status |
85 // Closure that calculates current status |
| 84 let status = |x : &M| IterInfo { |
86 let status = |x : &M| IterInfo { |
| 85 value : f.apply(x) + g.apply(x), |
87 value : f.apply(x) + g.apply(x), |
| 86 point : x.clone(), |
88 point : x.clone(), |