text: var a02708 =
  [
      [ "Ring", "a02712.html", null ],
      [ "Super", "a02708.html#a1bf0f49a93b991c75fc9b9d6faf44053", null ],
      [ "AlgebraicDecisionTree", "a02708.html#aaf4a6c1ba47d5043974add0d2cffa3b3", null ],
      [ "AlgebraicDecisionTree", "a02708.html#a5485bae2c9a4568cf7fac42b4e8bbc51", null ],
      [ "AlgebraicDecisionTree", "a02708.html#a4e42a5ca3fc306d2d83c88dd3532f71d", null ],
      [ "AlgebraicDecisionTree", "a02708.html#a685a8ae8b9bdd8b65f33752b83bf0a1d", null ],
      [ "AlgebraicDecisionTree", "a02708.html#a002710ce70616775068257c29a2e4778", null ],
      [ "AlgebraicDecisionTree", "a02708.html#aca8f0d3a93b0e6ebeb69b673495b4192", null ],
      [ "AlgebraicDecisionTree", "a02708.html#af0cd622a320a4a202473ebae5dd289a7", null ],
      [ "AlgebraicDecisionTree", "a02708.html#a3cd971460a346293b80eae2f125c5bbe", null ],
      [ "operator*", "a02708.html#ad4d6619ec05009c9a0e83ae23b772e03", null ],
      [ "operator+", "a02708.html#a73d781b3f789fe5361ac8ce253799585", null ],
      [ "operator/", "a02708.html#a0fb758bf01cbb66dfb631913f150ed00", null ],
      [ "sum", "a02708.html#a12a2cd3038c73481b8af276cf5aeea25", null ],
      [ "sum", "a02708.html#ac453ade59229c14bec87a4dd8f5d7884", null ]
  ];