var has__common__embedding_8hpp =
[
    [ "has_common_embedding", "has__common__embedding_8hpp.html#gae85b604ae6c7a386f0fc3631c561091b", null ],
    [ "has_nontrivial_common_embedding", "has__common__embedding_8hpp.html#ga9acac3c4609cff5f0957572744c61ec4", null ]
];