var group__ptsvx =
[
    [ "cptsvx", "db/d75/group__ptsvx_ga6995addf466221254614ded8444a508d.html#ga6995addf466221254614ded8444a508d", null ],
    [ "dptsvx", "db/d75/group__ptsvx_gaf288baa63fcd7e78b5f3312723daa3f3.html#gaf288baa63fcd7e78b5f3312723daa3f3", null ],
    [ "sptsvx", "db/d75/group__ptsvx_gad033646623d1cfda9ec805ccd68f0313.html#gad033646623d1cfda9ec805ccd68f0313", null ],
    [ "zptsvx", "db/d75/group__ptsvx_ga99065dd794dafbfdf915950298e4fb9f.html#ga99065dd794dafbfdf915950298e4fb9f", null ]
];
.