1var has__common__embedding_8hpp = 2[ 3 [ "has_common_embedding", "has__common__embedding_8hpp.html#gae85b604ae6c7a386f0fc3631c561091b", null ], 4 [ "has_nontrivial_common_embedding", "has__common__embedding_8hpp.html#ga9acac3c4609cff5f0957572744c61ec4", null ] 5];