1var group__group_Group = 2[ 3 [ "minus", "group__group-Group.html#ga2020c526324f361a2b990fe8d1b07c20", null ], 4 [ "negate", "group__group-Group.html#ga02e81002f40ba52eac4cf1974c7e0cdb", null ] 5];
1var group__group_Group = 2[ 3 [ "minus", "group__group-Group.html#ga2020c526324f361a2b990fe8d1b07c20", null ], 4 [ "negate", "group__group-Group.html#ga02e81002f40ba52eac4cf1974c7e0cdb", null ] 5];