var _floating_point_8h =
[
    [ "floatingPointIsFinite", "_floating_point_8h.html#a5b4d44867e762282b45217e4a1fa4652", null ],
    [ "floatingPointIsUnordered", "_floating_point_8h.html#a708a607cdf45110cfee522caf91dcc6e", null ]
];