comparison: src/mapping/dataterm.rs
src/mapping/dataterm.rs
- branch
- dev
- changeset 128
- f75bf34adda0
- parent 124
- 6aa955ad8122
- child 150
- c4e394a9c84c
equal
deleted
inserted
replaced
| 127:212f75931da0 | 128:f75bf34adda0 |
|---|---|
| 126 } | 126 } |
| 127 | 127 |
| 128 impl<'a, F, X, Y, A, G> LipschitzDifferentiableImpl<X, X::NormExp> for DataTerm<F, X, A, G> | 128 impl<'a, F, X, Y, A, G> LipschitzDifferentiableImpl<X, X::NormExp> for DataTerm<F, X, A, G> |
| 129 where | 129 where |
| 130 F: Float, | 130 F: Float, |
| 131 X: Normed<F> + Clone, | 131 X: Normed<F>, |
| 132 Y: Normed<F>, | 132 Y: Normed<F>, |
| 133 A: Clone + BoundedLinear<X, X::NormExp, L2, F, Codomain = Y>, | 133 A: BoundedLinear<X, X::NormExp, L2, F, Codomain = Y>, |
| 134 G: Mapping<Y, Codomain = F> + LipschitzDifferentiableImpl<Y, Y::NormExp>, | 134 G: Mapping<Y, Codomain = F> + LipschitzDifferentiableImpl<Y, Y::NormExp>, |
| 135 Self: DifferentiableImpl<X>, | 135 Self: DifferentiableImpl<X>, |
| 136 { | 136 { |
| 137 type FloatType = F; | 137 type FloatType = F; |
| 138 | 138 |
