text: var namespace_lattice_graph =
  [
      [ "Edge", "class_lattice_graph_1_1_edge.html", "class_lattice_graph_1_1_edge" ],
      [ "Lattice", "class_lattice_graph_1_1_lattice.html", "class_lattice_graph_1_1_lattice" ],
      [ "Node", "class_lattice_graph_1_1_node.html", "class_lattice_graph_1_1_node" ]
  ];