text: var classmui_1_1sampler__exact =
  [
      [ "INT", "classmui_1_1sampler__exact.html#ae8d1fc217e61ee7dc8bfd445267a3421", null ],
      [ "ITYPE", "classmui_1_1sampler__exact.html#ada52e60bbb13e147b5437e17373fdfa9", null ],
      [ "OTYPE", "classmui_1_1sampler__exact.html#a15a7687e2c1821509079ec71fedf54cb", null ],
      [ "point_type", "classmui_1_1sampler__exact.html#a0d33e1eea1214c8478573a2cba105905", null ],
      [ "REAL", "classmui_1_1sampler__exact.html#aae41043ec0ec60f628df1df1deb75048", null ],
      [ "sampler_exact", "classmui_1_1sampler__exact.html#a889cb0c1b7ee5684f61c059934ce11c0", null ],
      [ "filter", "classmui_1_1sampler__exact.html#ae671389d5160ae30189fb72aec8f4a81", null ],
      [ "support", "classmui_1_1sampler__exact.html#a8a49e564f57b3e229c9fcf80ada7dae0", null ],
      [ "point_tolerance", "classmui_1_1sampler__exact.html#a88cc43b85d889ff064c91962c9954497", null ],
      [ "real_precision", "classmui_1_1sampler__exact.html#a1d5bb49485bf933c14bfa27abee77709", null ],
      [ "tolerance", "classmui_1_1sampler__exact.html#a92cd60a7f11007f7243cca57c53dde8d", null ]
  ];