var group__group_Group =
[
    [ "minus", "group__group-Group.html#ga2020c526324f361a2b990fe8d1b07c20", null ],
    [ "negate", "group__group-Group.html#ga02e81002f40ba52eac4cf1974c7e0cdb", null ]
];