Sophie
var NonCopyable_8h = [ [ "NonCopyable", "NonCopyable_8h.html#a3a6dcdb2e24ab74d95eb8a117f429af1", null ] ];