| 935 Dat::DerivativeDomain: DifferentiableRealMapping<N, F> + ClosedMul<F>, |
935 Dat::DerivativeDomain: DifferentiableRealMapping<N, F> + ClosedMul<F>, |
| 936 RNDM<N, F>: SpikeMerging<F>, |
936 RNDM<N, F>: SpikeMerging<F>, |
| 937 Reg: SlidingRegTerm<Loc<N, F>, F>, |
937 Reg: SlidingRegTerm<Loc<N, F>, F>, |
| 938 P: ProxPenalty<Loc<N, F>, Dat::DerivativeDomain, Reg, F> + StepLengthBound<F, Dat>, |
938 P: ProxPenalty<Loc<N, F>, Dat::DerivativeDomain, Reg, F> + StepLengthBound<F, Dat>, |
| 939 Plot: Plotter<P::ReturnMapping, Dat::DerivativeDomain, RNDM<N, F>>, |
939 Plot: Plotter<P::ReturnMapping, Dat::DerivativeDomain, RNDM<N, F>>, |
| |
940 for<'a> &'a Dat::DerivativeDomain: Instance<Dat::DerivativeDomain>, |
| 940 { |
941 { |
| 941 let pt = P::prox_type(); |
942 let pt = P::prox_type(); |
| 942 |
943 |
| 943 match alg { |
944 match alg { |
| 944 &AlgorithmConfig::FB(ref algconfig, prox_type) if prox_type == pt => { |
945 &AlgorithmConfig::FB(ref algconfig, prox_type) if prox_type == pt => { |