var classEigen_1_1NaturalOrdering = [ [ "operator()", "classEigen_1_1NaturalOrdering.html#a650f62bee23cc69bfdaf963c0a0dd8bc", null ] ];
var classEigen_1_1NaturalOrdering = [ [ "operator()", "classEigen_1_1NaturalOrdering.html#a650f62bee23cc69bfdaf963c0a0dd8bc", null ] ];