documentation/_safe_ops_8h.js

var _safe_ops_8h =
[
    [ "safe_integer_add", "_safe_ops_8h.xhtml#a788ba6c7989a35e2979dd0b315e8711f", null ],
    [ "safe_integer_div", "_safe_ops_8h.xhtml#a51d1b0d5c48f48b9605a760e1963b940", null ],
    [ "safe_integer_mul", "_safe_ops_8h.xhtml#a3e89b90d50a678e88d7821c5a3ad8326", null ],
    [ "safe_integer_sub", "_safe_ops_8h.xhtml#a1e0ef3d630d8020cfa7e09ffada9bec4", null ]
];