Skip to main content

Module displacement

axiolid::contracts

Module displacement 

Source
Expand description

A bound on how far a rounding step moved a boundary.

Structsยง

DisplacementBound
A finite, non-negative distance bound in model units.