classfile.js

var classfile =
[
    [ "__construct", "classfile.html#a4717bbfc70a40a57ee741ed70766c309", null ],
    [ "__destruct", "classfile.html#a421831a265621325e1fdd19aace0c758", null ]
];