var dir_3e1afeb017c9b96ed8668d5d9a3c288f =
[
    [ "lists", "dir_9e30b077b3593e1d320bda14e2a70736.html", "dir_9e30b077b3593e1d320bda14e2a70736" ],
    [ "validation", "dir_be5a85120bd646759a01e0e790f0635a.html", "dir_be5a85120bd646759a01e0e790f0635a" ],
    [ "concepts.hpp", "discretization_2domain_2relation_2concepts_8hpp.html", "discretization_2domain_2relation_2concepts_8hpp" ],
    [ "relations.hpp", "discretization_2domain_2relation_2relations_8hpp.html", "discretization_2domain_2relation_2relations_8hpp" ]
];