comparison: src/mapping.rs
src/mapping.rs
- branch
- dev
- changeset 122
- 495448cca603
- parent 110
- a1278320be26
- child 124
- 6aa955ad8122
equal
deleted
inserted
replaced
| 121:fc7d923ff6e7 | 122:495448cca603 |
|---|---|
| 312 .differential_impl(self.inner.apply(x.ref_instance())) | 312 .differential_impl(self.inner.apply(x.ref_instance())) |
| 313 * self.inner.differential_impl(x) | 313 * self.inner.differential_impl(x) |
| 314 } | 314 } |
| 315 } | 315 } |
| 316 | 316 |
| 317 mod quadratic; | |
| 318 pub use quadratic::Quadratic; | |
| 319 mod dataterm; | 317 mod dataterm; |
| 320 pub use dataterm::DataTerm; | 318 pub use dataterm::DataTerm; |
| 321 | 319 |
| 322 /// Trait for indicating that `Self` is Lipschitz with respect to the (semi)norm `D`. | 320 /// Trait for indicating that `Self` is Lipschitz with respect to the (semi)norm `D`. |
| 323 pub trait Lipschitz<M> { | 321 pub trait Lipschitz<M> { |
