var class_device_rect =
[
    [ "bottom", "class_device_rect.html#a6586f0018b0abc7719ecfc33f41cad81", null ],
    [ "left", "class_device_rect.html#aeaf81a9f512275a52f03f8fe6c8df3a5", null ],
    [ "right", "class_device_rect.html#add566aefbffeb98017a74995028ce282", null ],
    [ "top", "class_device_rect.html#a8ad4d1af25973100ac537372237c5f6a", null ]
];