var group__trevc3 = [ [ "ctrevc3", "d2/d98/group__trevc3_ga19dbd5da1f3db28bd8556570a5f246bd.html#ga19dbd5da1f3db28bd8556570a5f246bd", null ], [ "dtrevc3", "d2/d98/group__trevc3_gaee05b7252c5a3b2b935d5a4a6101033d.html#gaee05b7252c5a3b2b935d5a4a6101033d", null ], [ "strevc3", "d2/d98/group__trevc3_ga42902fe3a2a7a9a5d0cf54f559a74767.html#ga42902fe3a2a7a9a5d0cf54f559a74767", null ], [ "ztrevc3", "d2/d98/group__trevc3_gaf2bfcdca712877429e4cf33bf144fd3f.html#gaf2bfcdca712877429e4cf33bf144fd3f", null ] ]; .