var classlibrevenge_1_1RVNGZipStream = [ [ "getSubstream", "classlibrevenge_1_1RVNGZipStream.html#a967d71872fc400845c4a78eab9399f5f", null ], [ "getSubStreamNamesList", "classlibrevenge_1_1RVNGZipStream.html#aab7cfc160d336a61c099becfe27c9f7f", null ], [ "isZipFile", "classlibrevenge_1_1RVNGZipStream.html#a32b3df846321ef86468622b3c1f9a94f", null ] ];