var class_text_rep =
[
    [ "TextRep", "class_text_rep.html#a7116b5db52ffdac8d3af1efbbf6eff79", null ],
    [ "~TextRep", "class_text_rep.html#aee73d148a947003894fa5e8bc100afa8", null ],
    [ "Text", "class_text_rep.html#aee0ad1dafe471596e6d25530d9fbaf0c", null ]
];