var namespacezypp_1_1sat_1_1solvitermixin__detail = [ [ "UnifyByIdent", "structzypp_1_1sat_1_1solvitermixin__detail_1_1UnifyByIdent.html", "structzypp_1_1sat_1_1solvitermixin__detail_1_1UnifyByIdent" ] ];
var namespacezypp_1_1sat_1_1solvitermixin__detail = [ [ "UnifyByIdent", "structzypp_1_1sat_1_1solvitermixin__detail_1_1UnifyByIdent.html", "structzypp_1_1sat_1_1solvitermixin__detail_1_1UnifyByIdent" ] ];